Computability classes for enforcement mechanisms

被引：110

作者：

Hamlen, KW ^{[1
]}

Morrisett, G

Schneider, FB

机构：

[1] Cornell Univ, Dept Comp Sci, Ithaca, NY 14853 USA

[2] Harvard Univ, Div Engn & Appl Sci, Cambridge, MA 02138 USA

来源：

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | 2006年 / 28卷 / 01期

关键词：

security; program rewriting; reference monitors; execution monitoring; inlined reference monitoring; security automata; edit automata;

D O I：

10.1145/1111596.1111601

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

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. © 2006 ACM.

引用

页码：175 / 205

页数：31

共 50 条

[1] Computability theoretic classifications for classes of structures
Montalban, Antonio
[J]. PROCEEDINGS OF THE INTERNATIONAL CONGRESS OF MATHEMATICIANS (ICM 2014), VOL II, 2014, : 79 - 101
[2] COMPUTABLE CLASSES OF CONSTRUCTIVIZATIONS FOR MODELS OF FINITE COMPUTABILITY TYPE
GONCHAROV, SS
[J]. SIBERIAN MATHEMATICAL JOURNAL, 1993, 34 (05) : 812 - 824
[3] COMPUTABILITY OF PROBABILISTIC PARAMETERS FOR SOME CLASSES OF FORMAL LANGUAGES
BEAUQUIER, J
THIMONIER, L
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1984, 176 : 194 - 204
[4] Enforcement mechanisms
Brockelman, WY
Griffiths, M
Rao, M
Ruf, R
Salafsky, N
[J]. MAKING PARKS WORK: STRATEGIES FOR PRESERVING TROPICAL NATURE, 2002, : 265 - 278
[5] Using Computability to Measure Complexity of Algebraic Structures and Classes of Structures
Knight, J. F.
[J]. LOBACHEVSKII JOURNAL OF MATHEMATICS, 2014, 35 (04) : 304 - 312
[6] AUDIT CLASSES AND TAX ENFORCEMENT POLICY
SCOTCHMER, S
[J]. AMERICAN ECONOMIC REVIEW, 1987, 77 (02): : 229 - 233
[7] On the computability power and the robustness of set agreement-oriented failure detector classes
Achour Mostefaoui
Sergio Rajsbaum
Michel Raynal
Corentin Travers
[J]. Distributed Computing, 2008, 21 : 201 - 222
[8] Compliance and enforcement mechanisms of CITES
Vasquez, JC
[J]. TRADE IN WILDLIFE: REGULATION FOR CONSERVATION, 2003, : 63 - 69
[9] On the computability power and the robustness of set agreement-oriented failure detector classes
Mostefaoui, Achour
Rajsbaum, Sergio
Raynal, Michel
Travers, Corentin
[J]. DISTRIBUTED COMPUTING, 2008, 21 (03) : 201 - 222
[10] The Convention on Biodiversity: Obligations and enforcement mechanisms
Wolfrum, R
[J]. IMPLEMENTING INTERNATIONAL ENVIRONMENTAL LAW IN GERMANY AND CHINA, 2001, 59 : 31 - 39

← 1 2 3 4 5 →