共 50 条
- [1] Model-based security engineering with UML:: Introducing security aspects [J]. FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2006, 4111 : 64 - 87
- [2] Model-based security engineering with UML [J]. FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN III, 2005, 3655 : 42 - 77
- [3] Verification of UML-based security policy model [J]. COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2005, PT 3, 2005, 3482 : 973 - 982
- [4] Verification method of security model based on UML and model checking [J]. Jisuanji Xuebao/Chinese Journal of Computers, 2009, 32 (04): : 699 - 708
- [7] Water Security or Security of Water? A Conceptual Analysis [J]. INDIA QUARTERLY-A JOURNAL OF INTERNATIONAL AFFAIRS, 2011, 67 (01): : 19 - 35
- [9] A conceptual model of security context [J]. International Journal of Information Security, 2014, 13 : 571 - 581