-
2
-
-
0031650188
-
Asynchronous protocols for optimistic fair exchange
-
IEEE Computer Society Press
-
ASOKAN, N., SHOUP, V., AND WAIDNEE, M. 1998. Asynchronous protocols for optimistic fair exchange. In Proceedings of the IEEE Symposium on Research in Security and Privacy. IEEE Computer Society Press, 86-99.
-
(1998)
Proceedings of the IEEE Symposium on Research in Security and Privacy
, pp. 86-99
-
-
Asokan, N.1
Shoup, V.2
Waidnee, M.3
-
3
-
-
0025246897
-
A fair protocol for signing contracts
-
BEN-OR, M., GOLDREICH, O., MICALI, S., AND RIVEST, R. L. 1990. A fair protocol for signing contracts. IEEE Trans. Inform. Theory 36, 1, 40-46.
-
(1990)
IEEE Trans. Inform. Theory
, vol.36
, Issue.1
, pp. 40-46
-
-
Ben-Or, M.1
Goldreich, O.2
Micali, S.3
Rivest, R.L.4
-
4
-
-
0025386404
-
A logic of authentication
-
BURROWS, M., ABADI, M., AND NEEDHAM, R. M. 1990. A logic of authentication. ACM Trans. Comput Syst. 8, 1, 18-36.
-
(1990)
ACM Trans. Comput Syst.
, vol.8
, Issue.1
, pp. 18-36
-
-
Burrows, M.1
Abadi, M.2
Needham, R.M.3
-
6
-
-
0033698744
-
Relating strands and multiset rewriting for security protocol analysis
-
IEEE Computer Society Press
-
CERVESATO, I., DURGIN, N., MITCHELL, J., LINCOLN, P., AND SCEDROV, A. 2000. Relating strands and multiset rewriting for security protocol analysis. In Proceedings of the 13th IEEE Computer Security Foundations Workshop. IEEE Computer Society Press, 35-51.
-
(2000)
Proceedings of the 13th IEEE Computer Security Foundations Workshop
, pp. 35-51
-
-
Cervesato, I.1
Durgin, N.2
Mitchell, J.3
Lincoln, P.4
Scedrov, A.5
-
8
-
-
0003730235
-
-
The MIT Press
-
FAGIN, R., HALPERN, J. Y., MOSES, Y. AND VARDI, M. Y. 1995. Reasoning about Knowledge. The MIT Press.
-
(1995)
Reasoning about Knowledge
-
-
Fagin, R.1
Halpern, J.Y.2
Moses, Y.3
Vardi, M.Y.4
-
9
-
-
0032047481
-
A logical approach to multilevel security of probabilistic systems
-
GRAY III, J. W. AND SYVERSON, P. F. 1998. A logical approach to multilevel security of probabilistic systems. Distributed Computing 11, 2, 73-90.
-
(1998)
Distributed Computing
, vol.11
, Issue.2
, pp. 73-90
-
-
Gray III, J.W.1
Syverson, P.F.2
-
10
-
-
0029293613
-
Naming and identity in epistemic logic II: A first-order logic for naming
-
GROVE, A. J. 1995. Naming and identity in epistemic logic II: a first-order logic for naming. Artificial Intelligence 74, 2, 311-350.
-
(1995)
Artificial Intelligence
, vol.74
, Issue.2
, pp. 311-350
-
-
Grove, A.J.1
-
11
-
-
0000920629
-
Naming and identity in epistemic logics, Part I: The propositional case
-
GROVE, A. J. AND HALPERN, J. Y. 1993. Naming and identity in epistemic logics, Part I: the propositional case. J. Logic Comput. 3, 4, 345-378.
-
(1993)
J. Logic Comput.
, vol.3
, Issue.4
, pp. 345-378
-
-
Grove, A.J.1
Halpern, J.Y.2
-
12
-
-
0034230143
-
A note on knowledge-based programs and specifications
-
HALPERN, J. Y. 2000. A note on knowledge-based programs and specifications. Distributed Computing 13, 145-153.
-
(2000)
Distributed Computing
, vol.13
, pp. 145-153
-
-
Halpern, J.Y.1
-
19
-
-
0013270364
-
A logic for the analysis of cryptographic protocols
-
Naval Research Laboratory
-
SYVEHSON, P. 1990. A logic for the analysis of cryptographic protocols. NRL Report 9305, Naval Research Laboratory.
-
(1990)
NRL Report
, vol.9305
-
-
Syvehson, P.1
-
22
-
-
0033344295
-
Strand spaces: Proving security protocols correct
-
THAYER, F. J., HERZOG, J. C., AND GUTTMAN, J. D. 1999b. Strand spaces: Proving security protocols correct. J. Comput. Secu. 7, 2/3, 191-230.
-
(1999)
J. Comput. Secu.
, vol.7
, Issue.2-3
, pp. 191-230
-
-
Thayer, F.J.1
Herzog, J.C.2
Guttman, J.D.3
|