Threat modelling using formal methods: A new approach to develop secure web applications

Hussain, S, Erwin, Harry and Dunne, Peter (2011) Threat modelling using formal methods: A new approach to develop secure web applications. In: 7th International conference on emerging technologies IEEE, 5 - 6 Sep 2011, Islamabad, Pakistan.

Item Type:	Conference or Workshop Item (Paper)

Full text not available from this repository.

More Information

Related URLs: http://ieeexplore.ieee.org/xpl/articleDe...
http://icet.seecs.nust.edu.pk/

Depositing User: Glenda Young

Identifiers

Item ID: 3877

ISSN: (2011) . 7th International conference on emerging technologies, p1-5. Available through IEEE.

URI: https://sure.sunderland.ac.uk/id/eprint/3877

Official URL: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arn...

Users with ORCIDS

Catalogue record

Date Deposited: 01 May 2013 08:40

Last Modified: 04 Jun 2025 15:02

Contributors

Author:	S Hussain
Author:	Harry Erwin
Author:	Peter Dunne

University Divisions

Faculty of Business and Technology > School of Computer Science and Engineering

Subjects

Computing > Network Computing

Actions (login required)

View Item (Repository Staff Only)

SURE