SASI enforcement of security policies: A retrospective

被引：0
|
作者：
Department of Computer Science, Cornell University, Ithaca, NY 14853, United States [1 ]
机构：
来源：
Proc. New Sec. Paradigm Workshop | 1600年 / 87-95期
关键词：
D O I：
Proceedings of the New Security Paradigm Workshop
中图分类号：
学科分类号：
摘要：
Security systems
引用
收藏
相关论文
共 50 条
  • [31] Security policies enforcement using finite and pushdown edit automata
    Beauquier, Daniele
    Cohen, Joelle
    Lanotte, Ruggero
    INTERNATIONAL JOURNAL OF INFORMATION SECURITY, 2013, 12 (04) : 319 - 336
  • [32] Formal Enforcement of Security Policies on Parallel Systems with Risk Integration
    Ziadia, Marwa
    Mejri, Mohamed
    CODES, CRYPTOLOGY, AND INFORMATION SECURITY, C2SI 2015, 2015, 9084 : 133 - 148
  • [33] Security policies enforcement using finite and pushdown edit automata
    Danièle Beauquier
    Joëlle Cohen
    Ruggero Lanotte
    International Journal of Information Security, 2013, 12 : 319 - 336
  • [34] RDyMASS: Reliable and Dynamic Enforcement of Security Policies for Mobile Agent Systems
    Aloulou, Houssem
    Loulou, Monia
    Kallel, Slim
    Kacem, Ahmed Hadj
    DATA PRIVACY MANAGEMENT AND AUTONOMOUS SPONTANEOUS SECURITY, 2010, 5939 : 237 - 252
  • [35] Gatekeeper: Mostly static enforcement of security and reliability policies for JavaScript code
    University of Washington, United States
    不详
    Proc. USENIX Secur. Symp., (151-168):
  • [36] Edit automata: Enforcement mechanisms for run-time security policies
    Ligatti J.
    Bauer L.
    Walker D.
    International Journal of Information Security, 2005, 4 (1-2) : 2 - 16
  • [37] A CM-based model for 802.11 networks security policies enforcement
    Mabiala Dondia, Karl
    Ma, Jing
    Feng Tao
    PROCEEDINGS OF THE 2015 INTERNATIONAL CONFERENCE ON AUTOMATION, MECHANICAL CONTROL AND COMPUTATIONAL ENGINEERING, 2015, 124 : 1610 - 1617
  • [38] Verified enforcement of security policies for cross-domain information flows
    Swamy, Nikhil
    Hicks, Michael
    Tsang, Simon
    2007 IEEE MILITARY COMMUNICATIONS CONFERENCE, VOLS 1-8, 2007, : 957 - +
  • [39] Aegis: Automatic Enforcement of Security Policies in Workflow-driven Web Applications
    Compagna, Luca
    dos Santos, Daniel R.
    Ponta, Serena Elisa
    Ranise, Silvio
    PROCEEDINGS OF THE SEVENTH ACM CONFERENCE ON DATA AND APPLICATION SECURITY AND PRIVACY (CODASPY'17), 2017, : 321 - 328
  • [40] Survey on Java']Java Script security policies and their enforcement mechanisms in a web browser
    Bielova, Nataliia
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2013, 82 (08): : 243 - 262
12345