What are you looking for today?

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. (Request a copy)

Abstract

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
Depositing User: Jane Moore
URI: https://sure.sunderland.ac.uk/id/eprint/1649

Further Details

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

Identifiers

Item ID
1649

Users with ORCIDS

Catalogue record

Date Deposited
15 Dec 2011 12:47
Last Modified
04 Jun 2025 15:02

Contributors

Author
Shafiq Hussain
Author
Harry Erwin
Author
Peter Dunne

University Divisions

Subjects

Actions (login required)

View Item (Repository Staff Only)