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.

Full text not available from this repository.

Search Google Scholar

Item Type: Conference or Workshop Item (Paper)
Subjects: Computing > Network Computing
Divisions: Digital Innovation Beacon
Faculty of Technology > School of Computer Science
Related URLs:
Depositing User: Glenda Young
Date Deposited: 01 May 2013 08:40
Last Modified: 02 Jul 2019 09:07
URI: http://sure.sunderland.ac.uk/id/eprint/3877

Actions (login required)

View Item View Item