共 50 条
- [11] Features of a Visualization Tool for Specification and Analysis of Security Protocol INTERNATIONAL SYMPOSIUM OF INFORMATION TECHNOLOGY 2008, VOLS 1-4, PROCEEDINGS: COGNITIVE INFORMATICS: BRIDGING NATURAL AND ARTIFICIAL KNOWLEDGE, 2008, : 2278 - 2282
- [12] Specification and Analysis of Attribute-Based Access Control Policies: An Overview 2014 IEEE EIGHTH INTERNATIONAL CONFERENCE ON SOFTWARE SECURITY AND RELIABILITY - COMPANION (SERE-C 2014), 2014, : 41 - 49
- [13] GCCS: A graphical coordination language for system specification COORDINATION LANGUAGES AND MODELS, PROCEEDINGS, 2000, 1906 : 284 - 298
- [14] Relation attribute based system structural analysis model and its application Kongzhi yu Juece/Control and Decision, 2013, 28 (01): : 84 - 88
- [15] Glencoe - A Tool for Specification, Visualization and Formal Analysis of Product Lines TRANSDISCIPLINARY ENGINEERING METHODS FOR SOCIAL INNOVATION OF INDUSTRY 4.0, 2018, 7 : 665 - 673
- [16] A Graphical Model for Risk Analysis and Management KNOWLEDGE SCIENCE, ENGINEERING AND MANAGEMENT, 2010, 6291 : 256 - 269
- [18] The graphical editing analysis query system AMERICAN STATISTICAL ASSOCIATION - 1996 PROCEEDINGS OF THE SECTION ON SURVEY RESEARCH METHODS, VOLS I AND II, 1996, : 160 - 165
- [20] Attribute Management System for Engineering Analysis Engineering with Computers, 2002, 18 : 339 - 351