Model-Based Security Vulnerability Testing

Authors:
Percy A. Pari Salas;Padmanabhan Krishnan;Kelvin J. Ross
Affiliations:
Bond University, Australia;Bond University, Australia;K.J. Ross & Associates Pty. Ltd., Australia
Venue:
ASWEC '07 Proceedings of the 2007 Australian Software Engineering Conference
Year:
2007

Citing 0
Cited 4

Towards Model-Based Automatic Testing of Attack Scenarios

SAFECOMP '09 Proceedings of the 28th International Conference on Computer Safety, Reliability, and Security
Experiences in security testing for web-based applications

Proceedings of the 2nd International Conference on Interaction Sciences: Information Technology, Culture and Human
Using implied scenarios in security testing

Proceedings of the 2010 ICSE Workshop on Software Engineering for Secure Systems
From model-checking to automated testing of security protocols: bridging the gap

TAP'12 Proceedings of the 6th international conference on Tests and Proofs

Quantified Score

Hi-index	0.00

Visualization

Abstract

Quality requirements of software systems typically affect large portions of the system, and should be taken into account early in the design process. Patterns have become a mainstream technique to associate frequent quality-related design problems with ...