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.
Item Type: Conference or Workshop Item (Paper)
Subjects: Computing > Network Computing
Divisions: Digital Innovation Beacon
Digital Innovation Beacon > Computing Workstream
Faculty of Applied Sciences > Department of Computing Engineering and Technology
Related URLs:
Depositing User: Glenda Young
Date Deposited: 01 May 2013 08:40
Last Modified: 01 May 2013 08:40
URI: http://sure.sunderland.ac.uk/id/eprint/3877

Actions (login required)

View Item View Item