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