Abstract
Agent replication and majority voting is a typical method to realize agent fault-tolerance. However, with such method, many agent replicas are produced in agent execution, which may cost much network and time resource. The paper constructs a novel agent migration fault-tolerance model based on integrity verification (AMFIV), which can reduce the complexity degree of agent communication and agent replicas amount so that network and time resource can be much saved. At last, the paper makes analysis for AMFIV based on p-calculus. The p-calculus analysis result proves that the novel model provided by the paper is correct and valid.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Hohl, F.: Time Limited Blackbox Security: Protecting Mobile Agents from Malicious Hosts. In: Vigna, G. (ed.) Mobile Agents and Security. LNCS, vol. 1419, pp. 92–113. Springer, Heidelberg (1998)
Hohl, F.: A Protocol to Detect Malicious Hosts Attacks by Using Reference States, http://elib.uni-stuttgart.de/opus/volltexte/2000/583/
Vigna, G.: Cryptographic Traces for Mobile Agents. In: Vigna, G. (ed.) Mobile Agents and Security. LNCS, vol. 1419, pp. 137–153. Springer, Heidelberg (1998)
Farmer, W.M., Guttma, J.D., Swarup, V.: Security for Mobile Agents: Authentication and State Appraisal. In: Martella, G., Kurth, H., Montolivo, E., Bertino, E. (eds.) ESORICS 1996. LNCS, vol. 1146, Springer, Heidelberg (1996)
Yee, B.S.: A Sanctuary for Mobile Agents. In: DARPA Workshop on Foundations for Secure Mobile Cde (1997), http://www.cs.ucsd.edu/~bsy/pub/sanctuary.ps
Schneider, F.B.: Towards Fault-tolerant and Secure Agentry. Invited paper. In: Mavronicolas, M. (ed.) WDAG 1997. LNCS, vol. 1320, Springer, Heidelberg (1997)
Maggi, P., Sisto, R.: Experiments on Formal Verification of Mobile Agent Data Integrity Properties, http://www.labic.disco.unimib.it/woa2002/papers/15.pdf
Milner, R.: The Polyadic π-Calculus: a Tutorial. In: Bauer, F.L., Braueer, W., Schwichtenberg, H. (eds.) Logic and Algebra for Sepcification, pp. 203–246. Springer, Berlin (1993)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jiang, Y., Xia, Z., Zhong, Y., Zhang, S. (2004). The Construction and Analysis of Agent Fault-Tolerance Model Based on π-Calculus. In: Bubak, M., van Albada, G.D., Sloot, P.M.A., Dongarra, J. (eds) Computational Science - ICCS 2004. ICCS 2004. Lecture Notes in Computer Science, vol 3038. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24688-6_77
Download citation
DOI: https://doi.org/10.1007/978-3-540-24688-6_77
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22116-6
Online ISBN: 978-3-540-24688-6
eBook Packages: Springer Book Archive