Close menu

SURE

Sunderland Repository records the research produced by the University of Sunderland including practice-based research and theses.

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: http://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: 02 Jul 2019 09:05

Contributors

Author: Shafiq Hussain
Author: Harry Erwin
Author: Peter Dunne

University Divisions

Digital Innovation Beacon
Faculty of Technology > School of Computer Science

Subjects

Computing > Network Computing
Computing > Software Engineering

Actions (login required)

View Item View Item