Ensuring the integrity of agent - Based computations by short proofs

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

Volumn 1477 LNCS, Issue , 1998, Pages 183-194

  Biehl, Ingrid ^a   Meyer, Bernd ^b   Wetzel, Susanne ^c  

^a DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

^b SIEMENS AG   (Germany)

^c DAIMLER AG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); MOBILE COMMERCE;

AGENT-BASED COMPUTATION; CENTRAL PROBLEMS; ELECTRONIC COMMERCE APPLICATIONS; MOBILE AGENT TECHNOLOGY; MOBILE CODE TECHNOLOGY; POTENTIAL USERS; SECURITY ASPECTS; SECURITY PROBLEMS;

MOBILE AGENTS;

EID: 84867304375     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0057658     Document Type: Conference Paper

References (22)

1. M. Abadi, J. Feigenbaum, J. Kilian, On Hiding Information from an Oracle, Journal of Computer and System Science, vol. 39, n. 1, pp. 21-50, 1989.
2. S. Arora, C. Lund, R. Motwani, M. Sudan, M. Szegedy, Proof Verification and Hardness of Approximation Problems, Proc. of the 33rd IEEE FOCS, pp. 14-23, 1992.
3. D. Beaver, Secure Multiparty Computation Protocols and Zero-Knowledge Proof Systems Tolerating a Faulty Minority, Journal of Cryptology, Springer, pp. 75-122, 1991.
4. B. N. Bershad, S. Savage, P. Pardyak, E. G. Sirer, M. E. Fiuczynski, D. Becker, C. Chambers, S. Eggers, Extensibility, Safety and Performance in the Spin Operating System, Proc. of the 15th Symposium on Operating Systems Principles, 1995.
5. M. Blum, P. Feldman, S. Micali, Non-Interactive Zero-Knowledge and Its Application (Extended Abstract), Proc. of the 20th ACM STOC, pp. 103-112, 1988.
6. C. Cachin, M. Stadler, Efficient Private Information Retrieval and Oblivious Transfer, unpublished, 1997.
7. J. Feigenbaum, P. Lee, Trust Management and Proof-Carrying Code in Secure Mobile-Code Applications, DARPA Workshop on Foundations for Secure Mobile Code, Monterey, CA, USA, 1997, Position Paper.
8. J. S. Fritzinger, M. Müller, Java Security, http://www.javasoft.com security white paperps, 1996.
9. F. Hohl, An Approach to Solve the Problem of Malicious Hosts, Universität Stuttgart, Fakultät Informatik, Fakultätsbericht Nr. 1997/03.
10. F. Hohl, Time Limited Blackbox Security: Protecting Mobile Agents From Malicious Hosts, in: Giovanni Vigna (Ed.), Mobile Agents and Security, Lecture Notes in Computer Science, Springer, 1997.
11. W. C. Hsieh, M. E. Fiuczynski, C. Garrett, D. Becker, B. N. Bershad, Language Support for Extensible Operating Systems, Proc. of the Workshop on Compiler Support for System Software, 1996.
12. E. Kushilevitz, R. Ostrovsky, Replication is Not Needed: Single Database, Computationally-Private Information Retrieval, Proc. of the 29th ACM STOC, 1997.
13. P. Lee, G. Necula, Research on Proof-Carrying Code For Mobile-Code Security, DARPA Workshop on Foundations for Secure Mobile Code, Monterey, CA, USA, 1997, Position Paper.
14. S. McCanne, V. Jacobson, The bsd Packet Filter: A New Architecture for User-level Packet Capture, Proc. of the USENIX Technical Conference, pp. 259-269, 1993.
15. C. Meadows, Detecting Attacks on Mobile Agents, DARPA Workshop on Foundations for Secure Mobile Code, Monterey, CA, USA, 1997, Position Paper.
16. A. J. Menezes, P. C. van Oorschot, S. A. Vanstone, Handbook of Applied Cryptography, CRC Press Inc., 1997.
17. G. Necula, Proof Carrying Code, Proc. of the 24th Annual Symposium on Principles of Programming Languages, 1997.
18. T. Sander, C. T. Tschudin, Protecting Mobile Agents Against Malicious Hosts, in: Giovanni Vigna (Ed.), Mobile Agents and Security, Lecture Notes in Computer Science, Springer, 1997.
19. A. Polishchuk, D. A. Spielman, Nearly-linear Size Holographic Proofs, Proc. of the 26th ACM STOC, 1994.
20. G. Vigna, Protecting Mobile Agents through Tracing, to appear in the Proc. of the ECOOP Workshop on Mobile Object Systems'97.
21. R. Wahbe, S. Lucco, T. E. Anderson, S. L. Graham, Efficient Software-based Fault Isolation, Proc. ACM SIGCOMM Symposium 1996, 1996.
22. B. S. Yee, A Sanctuary for Mobile Agents, DARPA Workshop on Foundations for Secure Mobile Code, Monterey, CA, USA, 1997, Position Paper.