The construction and analysis of agent fault-tolerance model based on π-calculus

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

Volumn 3038, Issue , 2004, Pages 591-598

  Jiang, Yichuan ^a   Xia, Zhengyou ^b   Zhong, Yiping ^a   Zhang, Shiyong ^a  

^a FUDAN UNIVERSITY   (China)

^b NANJING UNIVERSITY OF AERONAUTICS AND ASTRONAUTICS   (China)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; COMPLEX NETWORKS;

AGENT COMMUNICATIONS; AGENT EXECUTION; AGENT FAULT-TOLERANCE; AGENT MIGRATIONS; FAULT-TOLERANCE MODELS; INTEGRITY VERIFICATIONS; PI CALCULUS;

FAULT TOLERANCE;

EID: 35048857870     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24688-6_77     Document Type: Article

References (8)

1. Fritz Hohl: Time Limited Blackbox Security: Protecting Mobile Agents from Malicious Hosts. Mobile Agents and Security, Giovanni Vigna (ed.), Springer-Verlag, 1998, pp. 92-113
2. Fritz Hohl: A Protocol to Detect Malicious Hosts Attacks by Using Reference States. http://elib.uni-stuttgart.de/opus/volltexte/2000/583/
3. Giovanni Vigna: Cryptographic Traces for Mobile Agents. Mobile Agents and Security, Giovanni Vigna (ed.), Springer-Verlag, 1998, pp. 137-153
4. William M. Farmer, Joshua D. Guttma, and Vipin Swamp: Security for Mobile Agents: Authentication and State Appraisal. In: Proceedings of the Fourth European Symposium on Research in Computer Security, 1996
5. Bennet S. Yee: A Sanctuary for Mobile Agents. In: DARPA Workshop on Foundations for Secure Mobile Cde, 1997. http://www.cs.ucsd.edu/~bsy/pub/ sanctuary.ps
6. Fred B. Schneider: Towards Fault-tolerant and Secure Agentry. Invited paper. In: Proceedings of 11th International Workshop on Distributed Algorithms, Saarbrücken, Germany, Sept 1997
7. Paolo Maggi and Riccardo Sisto: Experiments on Formal Verification of Mobile Agent Data Integrity Properties, www.labic.disco.unimib.it/woa2002/ papers/15.pdf
8. R. Milner: The Polyadic π-Calculus: a Tutorial. In. F.L. Bauer, W. Braueer, and H. Schwichtenberg (eds.), Logic and Algebra for Sepcification. Berlin: Springer-Verlag, 1993, pp. 203-246.