Synthesizing enforcement monitors wrt. the safety-progress classification of properties

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5352 LNCS, Issue , 2008, Pages 41-55

  Falcone, Yliès ^a   Fernandez, Jean Claude ^a   Mounier, Laurent ^a  

^a VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL STATES; RUN TIME; SECURITY POLICIES; SECURITY PROPERTIES; STREETT AUTOMATON;

AUTOMATA THEORY; SET THEORY;

INFORMATION SYSTEMS;

EID: 58649088214     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-89862-7_3     Document Type: Conference Paper

References (14)

1. Schneider, F.B.: Enforceable security policies. ACM Trans, inf. Syst. Secur. 3, 30-50 (2000)
2. Hamlen, K.W., Morrisett, G., Schneider, F.B.: Computability classes for enforcement mechanisms. ACM Trans. Program. Lang. Syst. 28, 175-205 (2006)
3. Viswanathan, M.: Foundations for the run-time analysis of software systems. PhD thesis, University of Pennsylvania, Philadelphia, PA, USA, Supervisor-Sampath Kannan and Supervisor-Insup Lee (2000)
4. Ligatti, J., Bauer, L., Walker, D.: Runtime Enforcement of Nonsafety Policies. ACM, New York (2007)
5. Ligatti, J., Bauer, L., Walker, D.: Enforcing non-safety security policies with program monitors. In: de Capitani di Vimercati, S., Syverson, P.F., Gollmann, D. (eds.) ESORICS 2005. LNCS, vol. 3679, pp. 355-373. Springer, Heidelberg (2005)
6. Fong, P.W.L.: Access control by tracking shallow execution history, sp 00, 43 (2004)
7. Chang, E., Manna, Z., Pnueli, A.: The safety-progress classification. Technical report, Stanford University, Dept. of Computer Science (1992)
8. Chang, E.Y., Manna, Z., Pnueli, A.: Characterization of temporal property classes. Automata, Languages and Programming, 474-486 (1992)
9. Lamport, L.: Proving the correctness of multiprocess programs, IEEE Trans. Softw. Eng. 3, 125-143 (1977)
10. Alpern, B., Schneider, F.B.: Defining liveness. Technical report, Cornell University, Ithaca, NY, USA (1984)
11. Falcone, Y., Fernandez, J.C., Mounier, L.: Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties. Technical Report TR-2008-7, Verimag Research Report (2008)
12. Manna, Z., Pnueli, A.: A hierarchy of temporal properties (invited paper, 1989). In: PODC 1990: Proceedings of the ninth annual ACM symposium on Principles of distributed computing, pp. 377-410. ACM, New York (1990)
13. Streett, R.S.: Propositional dynamic logic of looping and converse. In: STOC 1981: Proceedings of the thirteenth annual ACM symposium on Theory of computing, pp. 375-383. ACM, New York (1981)
14. Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Property specification patterns for finite-state verification. In: FMSP 1998: Proceedings of the second workshop on Formal methods in software practice, pp. 7-15. ACM, New York (1998)