EXAM: a comprehensive environment for the analysis of access control policies

Introduction to automata theory, languages and computation

Mathematics and Computers in Simulation · 1981 · 10.9K citations

Computing, Computer Science, Mathematics +10

Introduction to automata theory, languages, and computation

Computer Languages · 1980 · 6.9K citations

Computing, Computer Science, Mathematics +10

J.E.Hopcroft, J.D. Ullman 著, "Introduction to Automata Theory, Languages, and Computation", Addison-Wesley, A5変形版, X+418, \6,670, 1979

悦朗 守屋 · 情報処理 · 1980 · 1.8K citations

Computing, Computer Science, Theory Of Computation +7

Conflicts in policy-based distributed systems management

Emil Lupu, Morris Sloman · IEEE Transactions on Software Engineering · 1999 · 568 citations

Computing, Systems Engineering, Access Management +10

Verification and change-impact analysis of access-control policies

Kathi Fisler, Shriram Krishnamurthi, Leo A. Meyerovich et al. · 2005 · 396 citations

Computing, Computer Science, Computer Systems +15