@Book{Center2006, author="C. C. Center", title="CERT/CC Statistics 1988-2005", year="2006", publisher="Pittsburgh, CERT CC,http://www.cert.org/stats/cerCstats.html, Feb. ", address="" } @Book{Schneier 2000, author="B. Schneier ", title="Secrets and Lies", year="2000", publisher="John Wiley and Sons, Inc.", address="" } @Article{Murata1989, author="T. Murata", title="Petri nets: properties, analysis and applications", journal="Proceedings of the IEEE ", year="1989", pages="541–580. ", volume=" 77 (4)" } @Article{Yang2010, author="N. Yang, H. Yu, H. Sun, Z. Qian", title="Modeling UML sequence diagrams using extended Petri nets", journal="in: International Conference on Information Science and Applications, ICISA2010, IEEE Computer Society", year="2010", pages="596–603. ", volume="" } @Article{Ratzer2003, author="A. V. Ratzer, L. Wells, H. M. Lassen, M. Laursen, J. F. Qvortrup, M. S. Stissing, M. Westergaard, S. Christensen, K. Jensen", title="CPN tools for editing, simulating,and analysing coloured Petri nets", journal="in:24th International Conference on Applications and Theory of Petri Nets, ICATPN 2003, in: Lecture Notes in Computer Science, vol.2679, Springer, Berlin, Heidelberg", year="2003", pages=" 450–462. ", volume="" } @Article{Baarir2009, author="S. Baarir, M. Beccuti, D. Cerotti, M. D. Pierro, S. Donatelli, G. Franceschinis", title="The great SPN tool: recent enhancements", journal="ACM SIGMETRICS Performance Evaluation Review", year="2009", pages="4–9. ", volume=" 36 (4)" } @Article{Mead2005, author="N. R. Mead, T. Stehney ", title="Security Quality Requirements Engineering (SQUARE) Methodology", journal="Proc. of the 2005 workshop on software engineering for secure systems-building trustworthy applications, Missouri, USA", year="2005", pages=" 1-7.", volume="" } @Article{Haley2008, author="C. B. Haley, R. Laney, J. D. Moffett, et aI.", title="Security Requirements Engineering: A Framework for Representation and Analysis", journal="IEEE TRANSACTIONS ON SOFTWARE ENGINEERING", year="2008", pages="133-153.", volume=" 34(1)" } @Book{Gordon2005, author="D. Gordon, T. Stehney, N. Wattas, E. Yu ", title="Quality Requirements Engineering (SQUARE): Case Study on Asset Management System", year="2005", publisher="Phase II (CMU/SEI-2005-SR-005). Pittsburgh, PA, Software Engineering Institute ", address="Carnegie Mellon University" } @Article{Wang2009, author="Hui Wang, Zongpu Jia, Zihao Shen", title="Research on Security Requirements Engineering Process", journal="978-1-4244-3672-9/09/$25.00 ©IEEE ", year="2009", pages=" 1285-1288.", volume="" }