Do You Really Mean What You Actually Enforced?-Reference-Cited by-同舟云学术

Do You Really Mean What You Actually Enforced?

Published:2009 Issue: Volume: Page:287-301
ISSN:0302-9743
Container-title:Formal Aspects in Security and Trust
language:
Short-container-title:

Author:

Bielova Nataliia,Massacci Fabio

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-01465-9_19

Reference19 articles.

1. Bauer, L., Ligatti, J., Walker, D.: Composing security policies with polymer. In: Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, pp. 305–314. ACM Press, New York (2005)

2. Bauer, L., Ligatti, J., Walker, D.: Edit automata: Enforcement mechanisms for run-time security policies. International Journal of Information Security 4(1-2), 2–16 (2005)

3. Bielova, N., Massacci, F.: Do you really mean what you actually enforced? Technical Report DISI-08-033, UNITN (2008)

4. Lecture Notes in Computer Science;N. Dragoni,2007

5. Erlingsson, U.: The Inlined Reference Monitor Approach to Security Policy Enforcement. Technical report 2003-1916, Department of Computer Science, Cornell University (2003)

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. On the Runtime Enforcement of Timed Properties;Runtime Verification;2019

2. Verifiable Control Flow Policies for Java Bytecode;Lecture Notes in Computer Science;2012

3. Do you really mean what you actually enforced?;International Journal of Information Security;2011-06-24

4. You Should Better Enforce Than Verify;Runtime Verification;2010

5. Do You Really Mean What You Actually Enforced?;Formal Aspects in Security and Trust;2009