AsmLSec: An Extension of Abstract State Machine Language for Attack Scenario Specification
暂无分享,去创建一个
[1] Mohammad Zulkernine,et al. UMLintr: a UML profile for specifying intrusions , 2006, 13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06).
[2] Stefan Axelsson,et al. Intrusion Detection Systems: A Survey and Taxonomy , 2002 .
[3] David A. Basin,et al. SecureUML: A UML-Based Modeling Language for Model-Driven Security , 2002, UML.
[4] Mohammad Zulkernine,et al. Detecting intrusions specified in a software specification language , 2005, 29th Annual International Computer Software and Applications Conference (COMPSAC'05).
[5] LanguagesGiovanni,et al. Attack Languages , 2007 .
[6] Yuri Gurevich,et al. Evolving algebras 1993: Lipari guide , 1995, Specification and validation methods.
[7] Mohammad Zulkernine,et al. Bridging the gap: software specification meets intrusion detector , 2006, PST.
[8] Richard Lippmann,et al. The 1999 DARPA off-line intrusion detection evaluation , 2000, Comput. Networks.
[9] J. Aagedal,et al. UML Pro?le for Modeling Quality of Service and Fault Tolerance Characteristics and Mechanisms , 2004 .
[10] Ketil Stølen,et al. Towards a UML Profile for Model-Based Risk Assessment , 2002 .
[11] Jan Jürjens,et al. UMLsec: Extending UML for Secure Systems Development , 2002, UML.
[12] Wolfram Schulte,et al. The ABCs of specification: asml, behavior, and components , 2001, Informatica.
[13] Giovanni Vigna,et al. STATL: An Attack Language for State-Based Intrusion Detection , 2002, J. Comput. Secur..