Safe, Untrusted Agents Using Proof-Carrying Code-Reference-Cited by-同舟云学术

Safe, Untrusted Agents Using Proof-Carrying Code

Published:1998 Issue: Volume: Page:61-91
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Necula George C.,Lee Peter

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-68671-1_5

Reference20 articles.

1. Brian Bershad, Stefan Savage, Przemyslaw Pardyak, Emin Gun Sirer, David Becker, Marc Fiuczynski, Craig Chambers, and Susan Eggers. Extensibility, safety and performance in the SPIN operating system. In Symposium on Operating System Principles, pages 267–284, December 1995.

2. Robert Boyer and J. Strother Moore. A Computational Logic. Academic Press, 1979.

3. R.M. Burstall and P.J. Landin. Programs and their proofs: an algebraic approach. Machine Intelligence, (4), 1969.

4. R. L. Constable, S. F. Allen, H. M. Bromley, W. R. Cleaveland, J. F. Cremer, R.W. Harper, D. J. Howe, T. B. Knoblock, N. P. Mendler, P. Panangaden, J. T. Sasaki, and S. F. Smith. Implementing Mathematics with the Nuprl Proof Development System. Prentice-Hall, 1986.

5. Lect Notes Comput Sci;T. Coquand,1985

Cited by 59 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Decentralized Review and Attestation of Software Attribute Claims;IEEE Access;2022

2. Self-explaining Digital Systems: Technical View, Implementation Aspects, and Completeness;Advanced Boolean Techniques;2019-07-09

3. A Review of Security Mechanisms for Multi-Agent Systems;Artificial Intelligence and Security Challenges in Emerging Networks;2019

4. What are the ultimate limits to computational techniques: verifier theory and unverifiability;Physica Scripta;2017-07-28

5. Programs from Proofs;ACM Transactions on Programming Languages and Systems;2017-05-29