Security, cryptography and directed bigraphs

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

Volumn 5214 LNCS, Issue , 2008, Pages 487-489

  Grohmann, Davide ^a  

^a UNIVERSITY OF UDINE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CRYPTOGRAPHY; GRAPH THEORY;

BIGRAPHICAL REACTIVE SYSTEMS; BIGRAPHS; BISIMULATION; LABELLED TRANSITION SYSTEMS; PROCESS MODELS; TRANSITION SYSTEMS;

UBIQUITOUS COMPUTING;

EID: 56449120885     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-87405-8_41     Document Type: Conference Paper

References (6)

1. Abadi, M., Gordon, A.D.: A Calculus for Cryptographic Protocols: The Spi Calculus. In: ACM Conference on Computer and Communications Security (1997)
2. Grohmann, D., Miculan, M.: Directed bigraphs. In Proc. XXIII MFPS. Electronic Notes in Theoretical Computer Science, vol. 173. Elsevier, Amsterdam (2007)
3. Grohmann, D., Miculan, M.: Reactive systems over directed bigraphs. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR 2007. LNCS, vol. 4703. Springer, Heidelberg (2007)
4. Milner, R.: Bigraphical reactive systems. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol. 2154. Springer, Heidelberg (2001)
5. Milner, R.: Pure bigraphs: Structure and dynamics. Information and Computation 204(1), 60-122 (2006)
6. Parrow, J., Victor, B.: The fusion calculus: Expressiveness and symmetry in mobile processes. In: Proceedings of LICS 1998. IEEE Computer Society Press, Los Alamitos (1998)