Threat modeling using Formal Methods: A New Approach to Develop Secure Web Applications
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.
| Item Type: | Conference or Workshop Item (Paper) |
|---|
Full text not available from this repository.
More Information
| 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 |
| Depositing User: Jane Moore |
Identifiers
| Item ID: 1649 |
| URI: https://sure.sunderland.ac.uk/id/eprint/1649 | Official URL: http://icet.seecs.nust.edu.pk/ |
Users with ORCIDS
Catalogue record
| Date Deposited: 15 Dec 2011 12:47 |
| Last Modified: 04 Jun 2025 15:02 |
| Author: | Shafiq Hussain |
| Author: | Harry Erwin |
| Author: | Peter Dunne |
University Divisions
Faculty of Business and Technology > School of Computer Science and EngineeringSubjects
Computing > Network ComputingComputing > Software Engineering
Actions (login required)
 |
View Item (Repository Staff Only) |