Abstraction based verification of a parameterised policy controlled system

Communications in Computer and Information Science

Volumn 1, Issue , 2007, Pages 228-241

  Ochsenschläger, Peter ^a   Rieke, Roland ^a  

^a FRAUNHOFER INSTITUTE FOR SECURE INFORMATION TECHNOLOGY SIT   (Germany)

Author keywords

Formal analysis of security and liveness properties; parameterised models; security modelling and simulation; security policies

Indexed keywords

ABSTRACTION BASED VERIFICATION; IDENTICAL COMPONENTS; LIVENESS PROPERTIES; MODELLING AND SIMULATIONS; POLICY CONTROLLED SYSTEM; REPLICATED COMPONENTS; SECURITY POLICY; VERIFICATION TECHNIQUES;

ABSTRACTING; MODEL CHECKING; PARAMETERIZATION;

NETWORK SECURITY;

EID: 84884995221     PISSN: 18650929     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-540-73986-9_19     Document Type: Conference Paper

References (19)

1. Ochsenschläger, P., Repp, J., Rieke, R.: Abstraction and composition - a verification method for co-operating systems. Journal of Experimental and Theoretical Artificial Intelligence 12, 447-459 (2000) Copyright: © 2000, American Association for Artificial Intelligence www.aaai.org All rights reserved
2. Guttman, J.D., Herzog, A.L., Ramsdell, J.D.: Information flow in operating systems: Eager formal methods. In: IFIP WG 1.7 Workshop on Issues in the Theory of Security (2003)
3. Guttman, J.D., Herzog, A.L.: Rigorous automated network security management. International Journal of Information Security 4(1-2), 29-48 (2005)
4. Rieke, R.: Modelling and Analysing Network Security Policies in a Given Vulnerability Setting. In: Lopez, J. (ed.) CRITIS 2006. LNCS, vol. 4347, pp. 67-78. © Springer, Heidelberg (2006)
5. Ochsenschläger, P., Repp, J., Rieke, R., Nitsche, U.: The SH-Verification Tool Abstraction-Based Verification of Co-operating Systems. Formal Aspects of Computing, The International Journal of Formal Method 11, 1-24 (1999)
6. Ip, C.N., Dill, D.L.: Verifying Systems with Replicated Components in Murφ. Formal Methods in System Design 14(3), 273-310 (1999)
7. Derepas, F., Gastin, P.: Model checking systems of replicated processes with spin. In: Dwyer, M.B. (ed.) Model Checking Software. LNCS, vol. 2057, pp. 235-251. Springer, Heidelberg (2001)
8. Lakhnech, Y., Bensalem, S., Berezin, S., Owre, S.: Incremental verification by abstraction. In: Margaria, T., Yi, W. (eds.) ETAPS 2001 and TACAS 2001. LNCS, vol. 2031, pp. 98-112. Springer, Heidelberg (2001)
9. Basu, S., Ramakrishnan, C.R.: Compositional analysis for verification of parameterized systems. Theor. Comput. Sci. 354(2), 211-229 (2006)
10. Milner, R.: Communication and Concurrency. International Series in Computer Science. Prentice-Hall, Englewood Cliffs (1989)
11. Bradfield, J., Stirling, C.: Modal logics and mu-calculi: an introduction (2001)
12. Uribe, T.E.: Combinations of model checking and theorem proving. In: Kirchner, H. (ed.) Frontiers of Combining Systems. LNCS, vol. 1794, pp. 151-170. Springer, Heidelberg (2000)
13. Moses, T.: eXtensible Access Control Markup Language (XACML), Version 2.0. Technical report, OASIS Standard (2005)
14. Alpern, B., Schneider, F.B.: Defining liveness. Information Processing Letters 21(4), 181-185 (1985)
15. Nitsche, U., Ochsenschläger, P.: Approximately satisfied properties of systems and simple language homomorphisms. Information Processing Letters 60, 201-206 (1996)
16. Ochsenschläger, P.: Verification of cooperating systems by simple homomorphisms using the product net machine. In: Desel, J., Oberweis, A., Reisig, W., (eds.) Workshop: Algorithmen undWerkzeuge für Petrinetze, Humboldt Universität Berlin, pp. 48-53 (1994)
17. Gürgens, S., Ochsenschläger, P., Rudolph, C.: On a formal framework for security properties. International Computer Standards & Interface Journal (CSI), Special issue on formal methods, techniques and tools for secure and reliable applications (2004)
18. Gürgens, S., Ochsenschläger, P., Rudolph, C.: Abstractions preserving parameter confidentiality. In: di Vimercati, S.d.C., Syverson, P.F., Gollmann, D. (eds.) ESORICS 2005. LNCS, vol. 3679, pp. 418-437. Copyright: © Springer, Heidelberg (2005)
19. Eilenberg, S.: Automata, Languages and Machines, vol. A. Academic Press, New York (1974)