Threat modeling using Formal Methods: A New Approach to Develop Secure Web Applications
Tools
Hussain, Shafiq, Erwin, Harry and Dunne, Peter (2011) Threat modeling using Formal Methods: A New Approach to Develop Secure Web Applications. In: ICET 2011: 7th IEEE International Conference on Emerging Technologies, 5-6 Sep 2011, Islamabad, Pakistan.
Full text not available from this repository.
Official URL: http://icet.seecs.nust.edu.pk/
Item Type: | Conference or Workshop Item (Paper) |
---|---|
Additional Information: | Published in: 2011 7th International Conference on Emerging Technologies (ICET), pp 1-5; ISBN: 978-1-4577-0769-8; DOI: 10.1109/ICET.2011.6048492 |
Subjects: | Computing > Network Computing Computing > Software Engineering |
Divisions: | Digital Innovation Beacon Faculty of Technology > School of Computer Science |
Depositing User: | Jane Moore |
Date Deposited: | 15 Dec 2011 12:47 |
Last Modified: | 02 Jul 2019 09:05 |
URI: | http://sure.sunderland.ac.uk/id/eprint/1649 |
Actions (login required)
![]() |
View Item |
Altmetric