共 50 条
- [1] Specifying and enforcing high-level semantic obligation policies EIGHTH IEEE INTERNATIONAL WORKSHOP ON POLICIES FOR DISTRIBUTED SYSTEMS AND NETWORKS - PROCEEDINGS, 2007, : 119 - +
- [2] Enforcing high-level security policies for Internet of Things The Journal of Supercomputing, 2018, 74 : 4497 - 4505
- [3] Enforcing high-level security policies for Internet of Things JOURNAL OF SUPERCOMPUTING, 2018, 74 (09): : 4497 - 4505
- [6] CDL: A LANGUAGE FOR SPECIFYING HIGH-LEVEL CROSS-DOMAIN SECURITY POLICIES 2008 IEEE MILITARY COMMUNICATIONS CONFERENCE: MILCOM 2008, VOLS 1-7, 2008, : 1154 - 1160
- [7] Enforcing high-level security properties for applets SMART CARD RESEARCH AND ADVANCED APPLICATIONS VI, 2004, 153 : 1 - 16
- [8] Enforcing Architectural Contracts in High-Level Synthesis PROCEEDINGS OF THE 48TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2011, : 824 - 829
- [10] Specifying and enforcing constraints in dynamic access control policies 2014 TWELFTH ANNUAL INTERNATIONAL CONFERENCE ON PRIVACY, SECURITY AND TRUST (PST), 2014, : 290 - 297