共 50 条
- [1] SPECIFICATION IN DISTRIBUTED SYSTEMS [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1985, 184 : 470 - 497
- [4] SECURE COLLABORATION IN ENGINEERING SYSTEMS DESIGN [J]. PROCEEDINGS OF THE ASME INTERNATIONAL DESIGN ENGINEERING TECHNICAL CONFERENCES AND COMPUTERS AND INFORMATION IN ENGINEERING CONFERENCE, 2014, VOL 1B, 2014,
- [6] Specification and verification of secure business transaction systems [J]. SOFSEM 2002: THEORY AND PRACTICE OF INFORMATICS, 2002, 2540 : 240 - 252
- [8] A comparative study of policy specification languages for secure distributed applications [J]. MANAGEMENT TECHNOLOGIES FOR E-COMMERCE AND E-BUSINESS APPLICATIONS, PROCEEDINGS, 2002, 2506 : 157 - 168
- [9] Distributed secure systems: Then and now [J]. TWENTY-THIRD ANNUAL COMPUTER SECURITY APPLICATIONS CONFERENCE, PROCEEDINGS, 2007, : 178 - +
- [10] Compositional specification of distributed systems by distributed graph transformation [J]. COMMUNICATION-BASED SYSTEMS, 2000, : 73 - 91