共 50 条
- [1] Using Pit to improve security in low-level programs The Journal of Supercomputing, 2010, 53 : 394 - 410
- [2] Using Pit to improve security in low-level programs JOURNAL OF SUPERCOMPUTING, 2010, 53 (03): : 394 - 410
- [3] Security Policy Refinement: High-Level Specification to Low-Level Implementation 2013 ASE/IEEE INTERNATIONAL CONFERENCE ON SOCIAL COMPUTING (SOCIALCOM), 2013, : 502 - 511
- [4] A Security Surveillance System with a Realized Structural Low-Level Network Monitor JOURNAL OF INFORMATION ASSURANCE AND SECURITY, 2007, 2 (02): : 87 - 96
- [6] Smart Electric Vehicle Charging: Security Analysis 2013 IEEE PES INNOVATIVE SMART GRID TECHNOLOGIES (ISGT), 2013,
- [8] A FRAMEWORK FOR TRANSLATING A HIGH LEVEL SECURITY POLICY INTO LOW LEVEL SECURITY MECHANISMS JOURNAL OF ELECTRICAL ENGINEERING-ELEKTROTECHNICKY CASOPIS, 2010, 61 (01): : 20 - 28
- [10] A Framework for Translating a High Level Security Policy into Low Level Security Mechanisms 2009 IEEE/ACS INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, VOLS 1 AND 2, 2009, : 504 - +