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