Computability classes for enforcement mechanisms-Reference-Cited by-同舟云学术

Computability classes for enforcement mechanisms

Published:2006-01 Issue:1 Volume:28 Page:175-205
ISSN:0164-0925
Container-title:ACM Transactions on Programming Languages and Systems
language:en
Short-container-title:ACM Trans. Program. Lang. Syst.

Author:

Hamlen Kevin W.¹,Morrisett Greg²,Schneider Fred B.¹

Affiliation:

1. Cornell University, Ithaca, NY

2. Harvard University, Cambridge, MA

Abstract

A precise characterization of those security policies enforceable by program rewriting is given. This also exposes and rectifies problems in prior work, yielding a better characterization of those security policies enforceable by execution monitors as well as a taxonomy of enforceable security policies. Some but not all classes can be identified with known classes from computational complexity theory.

Publisher

Association for Computing Machinery (ACM)

Subject

Software

Link

https://dl.acm.org/doi/pdf/10.1145/1111596.1111601

Reference30 articles.

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

1. Proactive enforcement of provisions and obligations;Journal of Computer Security;2023-11-28

2. Renewable Just-In-Time Control-Flow Integrity;Proceedings of the 26th International Symposium on Research in Attacks, Intrusions and Defenses;2023-10-16

3. A modular pipeline for enforcement of security properties at runtime;Annals of Telecommunications;2023-04-17

4. A Modular Runtime Enforcement Model Using Multi-traces;Foundations and Practice of Security;2022

5. Crook-sourced intrusion detection as a service;Journal of Information Security and Applications;2021-09