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:	http://ieeexplore.ieee.org/xpl/articleDe... http://icet.seecs.nust.edu.pk/
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