Zobrazeno 1 - 10
of 45
pro vyhledávání: '"Millen, Jonathan K."'
This paper describes the CAVES attestation protocol and presents a tool-supported analysis showing that the runs of the protocol achieve stated goals. The goals are stated formally by annotating the protocol with logical formulas using the rely-guara
Externí odkaz:
http://arxiv.org/abs/1207.0418
Autor:
Millen, Jonathan K.1, Gaines, R. S.
Publikováno v:
Communications of the ACM. May76, Vol. 19 Issue 5, p243-250. 8p. 2 Diagrams, 2 Charts.
Publikováno v:
IEEE Transactions on Software Engineering. Feb87, Vol. 13 Issue 2, p274-288. 15p. 3 Color Photographs, 12 Diagrams, 1 Chart.
Publikováno v:
Proceedings of the 7th ACM Conference: Computer & Communications Security; 11/ 1/2000, p19-24, 6p
Autor:
Millen, Jonathan K.
Publikováno v:
Proceedings of the Sixth Annual ACM Symposium: Theory of Computing; 4/30/1974, p242-247, 6p
Publikováno v:
Journal of Computer Security; 2001, Vol. 9 Issue 4, p323, 16p, 2 Diagrams
Publikováno v:
ACM Computing Surveys; Sep81, Vol. 13 Issue 3, p279-339, 61p
Autor:
Millen, Jonathan K.
Publikováno v:
Journal of Computer Security; January 1995, Vol. 3 Issue: 1 p35-54, 20p
Autor:
Millen, Jonathan K.
Publikováno v:
Journal of Computer Security; April 1993, Vol. 2 Issue: 2-3 p89-106, 18p