Interacting state machines for mobility

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

Volumn 2805, Issue , 2003, Pages 698-718

  Kuhn, Thomas A ^a   Von Oheimb, David ^a  

^a SIEMENS AG   (Germany)

Author keywords

Boxed ambients; Dynamic communication; Formal modeling; Interacting State Machines; Mobile agents; Mobility; Verification

Indexed keywords

CALCULATIONS; CARRIER MOBILITY; DIFFERENTIATION (CALCULUS); FORMAL METHODS; HIERARCHICAL SYSTEMS; SEMANTICS; VERIFICATION;

BOXED AMBIENTS; COMMUNICATION TOPOLOGIES; DESCRIPTION LANGUAGES; DOCUMENTATION AND VERIFICATION; DYNAMIC COMMUNICATION; FORMAL MODEL; OPERATIONAL SEMANTICS; STATE MACHINE;

MOBILE AGENTS;

EID: 35248839671     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45236-2_38     Document Type: Article

References (17)

1. Michele Bugliesi, Giuseppe Castagna, and Silvia Crafa. Boxed ambients. In TACS 2001, 4th. International Symposium on Theoretical Aspects of Computer Science, number 2215 in LNCS. Springer-Verlag, 2001.
2. Common Criteria for Information Technology Security Evaluation (CC), Version 2.1, 1999. ISO/IEC 15408.
3. Luca Cardelli and Andrew D. Gordon. Mobile ambients. In Maurice Nivat, editor, FOSSACS '98, volume 1378 of LNCS. Springer-Verlag, 1998.
4. C. A. R. Hoare. Communicating sequential processes. In R. M. McKeag and A. M. Macnaghten, editors, On the construction of programs - an advanced course, pages 229-254. Cambridge University Press, 1980.
5. Ursula Hinkel and Katharina Spies. Spezifikationsmethodik für mobile, dynamische FOCUS-Netze. In A. Wolisz, I. Schieferdecker, and A. Rennoch, editors, Formale Beschreibungstechniken für verteilte Systeme, GI/ITG-Fachgespräch 1997, 1997.
6. ISM homepage. http://ddvo.net/ISM/.
7. Project MAP homepage. http://www.map21.de/.
8. C. Mascolo. Mobis: A specification language for mobile systems. In LNCS. Springer-Verlag, 1999.
9. st International Conference on Software Engineering. Los Angeles, CA. IEEE, 1999.
10. Robin Milner. A Calculus of Communication Systems, volume 92 of LNCS. Springer-Verlag, 1980.
11. Robin Milner, Joachim Parrow, and David Walker. A calculus of mobile processes - parts i+ii. Information and Computation, 100(1):1-77, September 1992.
12. David von Oheimb. Interacting State Machines: a stateful approach to proving security. In Ali Abdallah, Peter Ryan, and Steve Schneider, editors, Proceedings from the BCS-FACS International Conference on Formal Aspects of Security 2002, volume 2629 of LNCS. Springer-Verlag, 2002. http://ddvo.net/papers/ISMs.html.
13. th ESORICS. Spinger, 2002. http://ddvo.net/papers/FSA_ISM.html. A more detailed journal version is submitted for publication.
14. David von Oheimb and Volkmar Lotz. Generic Interacting State Machines and their instantiation, 2003. Submitted for publication.
15. Lawrence C. Paulson. Isabelle: A Generic Theorem Prover, volume 828 of LNCS. Springer-Verlag, 1994. For an up-to-date description, see http: //isabelle.in.tum.de/.
16. th International Workshop on Formal Methods for Parallel Programming: Theory and Applications, 2002.
17. Júlia Zappe. Towards a mobile TLA. In Proceedings of the 7th ESSLLI Student Session, 14th European Summer School in Logic, Language and Information, Trento, Italy, 2002.