-
2
-
-
0023861309
-
The dining cryptographers problem: Unconditional sender and recipient untraceability
-
D. Chaum. The dining cryptographers problem: Unconditional sender and recipient untraceability. Journal of Cryptology, 1(1):65-75, 1988.
-
(1988)
Journal of Cryptology
, vol.1
, Issue.1
, pp. 65-75
-
-
Chaum, D.1
-
3
-
-
0025465251
-
A logic for reasoning about probabilities
-
R. Fagin, J. Y. Halpern, and N. Megiddo. A logic for reasoning about probabilities. Information and Computation, 87(1/2):78-128, 1990.
-
(1990)
Information and Computation
, vol.87
, Issue.1-2
, pp. 78-128
-
-
Fagin, R.1
Halpern, J.Y.2
Megiddo, N.3
-
4
-
-
0003730235
-
-
MIT Press, Cambridge, Mass.
-
R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning about Knowledge. MIT Press, Cambridge, Mass., 1995.
-
(1995)
Reasoning about Knowledge
-
-
Fagin, R.1
Halpern, J.Y.2
Moses, Y.3
Vardi, M.Y.4
-
5
-
-
84988393004
-
Classification of security properties (Part I: Information flow)
-
Springer
-
R. Focardi and R. Gorrieri. Classification of security properties (Part I: Information flow). In Foundations of Security Analysis and Design, pages 331-396. Springer, 2001.
-
(2001)
Foundations of Security Analysis and Design
, pp. 331-396
-
-
Focardi, R.1
Gorrieri, R.2
-
6
-
-
0026900438
-
A logic for reasoning about security
-
J. Glasgow, G. MacEwen, and P. Panangaden. A logic for reasoning about security. ACM Trans. on Computer Systems, 10(3):226-264, 1992.
-
(1992)
ACM Trans. on Computer Systems
, vol.10
, Issue.3
, pp. 226-264
-
-
Glasgow, J.1
MacEwen, G.2
Panangaden, P.3
-
8
-
-
0032047481
-
A logical approach to multillevel security of probabilistic systems
-
J. W. Gray and P. F. Syverson. A logical approach to multillevel security of probabilistic systems. Distributed Computing, 11(2):73-90, 1998.
-
(1998)
Distributed Computing
, vol.11
, Issue.2
, pp. 73-90
-
-
Gray, J.W.1
Syverson, P.F.2
-
10
-
-
0035754511
-
On the relationship between strand spaces and multi-agent systems
-
Proc. Eighth ACM Conference on Computer and Communications Security, To appear
-
J. Y. Halpern and R. Pucella. On the relationship between strand spaces and multi-agent systems. In Proc. Eighth ACM Conference on Computer and Communications Security, pages 106-115, 2001. To appear, ACM Transactions on Information and System Security.
-
(2001)
ACM Transactions on Information and System Security
, pp. 106-115
-
-
Halpern, J.Y.1
Pucella, R.2
-
11
-
-
0027665952
-
Knowledge, probability, and adversaries
-
J. Y. Halpern and M. R. Tuttle. Knowledge, probability, and adversaries. Journal of the ACM, 40(4):917-962, 1993.
-
(1993)
Journal of the ACM
, vol.40
, Issue.4
, pp. 917-962
-
-
Halpern, J.Y.1
Tuttle, M.R.2
-
14
-
-
0003276135
-
A Calculus of Communicating Systems
-
Springer-Verlag, Berlin/New York
-
R. Milner. A Calculus of Communicating Systems. Lecture Notes in Computer Science, Vol. 92. Springer-Verlag, Berlin/New York, 1980.
-
(1980)
Lecture Notes in Computer Science
, vol.92
-
-
Milner, R.1
-
20
-
-
0346338341
-
Common knowledge and update in finite environments
-
R. van der Meyden. Common knowledge and update in finite environments. Information and Computation, 140(2):115-157, 1998.
-
(1998)
Information and Computation
, vol.140
, Issue.2
, pp. 115-157
-
-
Van Der Meyden, R.1
|