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.

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: http://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: 20 Jan 2023 09:47

Contributors

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

University Divisions

Faculty of Technology > School of Computer Science

Subjects

Computing > Network Computing

Actions (login required)

View Item (Repository Staff Only)