Threat modelling using formal methods: A new approach to develop secure web applications
Tools
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.
Official URL: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arn...
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 |