共 50 条
- [33] A Verification framework for Analyzing Security Implementations in an Enterprise LAN 2009 IEEE INTERNATIONAL ADVANCE COMPUTING CONFERENCE, VOLS 1-3, 2009, : 1008 - +
- [35] A new approach to change management in enterprise system implementations INTERNET & INFORMATION SYSTEMS IN THE DIGITAL AGE: CHALLENGES AND SOLUTIONS, 2006, : 469 - 477
- [36] Fault Analysis of Security Policy Implementations in Enterprise Networks 2009 FIRST INTERNATIONAL CONFERENCE ON NETWORKS & COMMUNICATIONS (NETCOM 2009), 2009, : 240 - +
- [38] Formal Verification of Security Policy Implementations in Enterprise Networks INFORMATION SYSTEMS SECURITY, PROCEEDINGS, 2009, 5905 : 117 - +
- [40] Functional implementations of the Jacobi Eigensolver Scientific Programming, 5 (02): : 111 - 120