Sign in
Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Related Publications
(2)
A critique of the Burrows, Abadi and Needham logic
A logic of authentication
Subscribe
Academic
Publications
Rejoinder to Nessett
Rejoinder to Nessett,10.1145/382258.382790,Operating Systems Review,Michael Burrows,Martín Abadi,Roger M. Needham
Edit
Rejoinder to Nessett
(
Citations: 33
)
BibTex
|
RIS
|
RefWorks
Download
Michael Burrows
,
Martín Abadi
,
Roger M. Needham
Journal:
Operating Systems Review - SIGOPS
, vol. 24, no. 2, pp. 39-40, 1990
DOI:
10.1145/382258.382790
Cumulative
Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
(
portal.acm.org
)
(
portal.acm.org
)
(
portal.acm.org
)
(
portal.acm.org
)
(
www.informatik.uni-trier.de
)
More »
Citation Context
(13)
...It has been developed for verifying authentication properties, and there is no easy way to represent the requirements of routing security in it. In addition, BAN logic assumes that the protocol participants are trustworthy [
5
]...
Gergely Ács
,
et al.
Provably Secure On-Demand Source Routing in Mobile Ad Hoc Networks
...As explained in [33], [
34
], the original BAN rules are not complete...
Frank Kargl
,
et al.
Secure Dynamic Source Routing
...The main problem with using BAN logic in this context is that BAN logic assumes that the protocol participants are trustworthy and do not release secrets [
7
]...
Levente Buttyán
,
et al.
Towards provable security for ad hoc routing protocols
...In 1989, Burrows, Abadi and Needham devised BAN, a modal logic of belief for the specification and verification of cryptographic protocols [10,
11
]...
Mourad Debbabi
.
Towards the Correctness of Security Protocols
...A more controversial example is the one shown by Nessett [11,
5
]; there are many more examples that one can pick from the literature...
Anish Mathuria
.
Using a Formal Technique for Protocol Idealization: A Cautionary Note
References
(3)
On the security of public key protocols
(
Citations: 1526
)
Danny Dolev
,
Andrew Chi-chih Yao
Journal:
IEEE Transactions on Information Theory - TIT
, vol. 29, no. 2, pp. 198-208, 1983
The Interrogator: Protocol Security Analysis
(
Citations: 154
)
Jonathan K. Millen
,
Sidney C. Clark
,
Sheryl B. Freedman
Journal:
IEEE Transactions on Software Engineering - TSE
, vol. 13, no. 2, pp. 274-288, 1987
Security Mechanisms in High-Level Network Protocols
(
Citations: 188
)
Victor L. Voydock
,
Stephen T. Kent
Journal:
ACM Computing Surveys - CSUR
, vol. 15, no. 2, pp. 135-171, 1983
Sort by:
Citations
(33)
Provably Secure On-Demand Source Routing in Mobile Ad Hoc Networks
(
Citations: 68
)
Gergely Ács
,
Levente Buttyán
,
István Vajda
Journal:
IEEE Transactions on Mobile Computing - TMC
, vol. 5, no. 11, pp. 1533-1546, 2006
Secure Dynamic Source Routing
(
Citations: 17
)
Frank Kargl
,
Alfred Geiss
,
Stefan Schlott
,
Michael Weber
Conference:
Hawaii International Conference on System Sciences - HICSS
, pp. 320c-320c, 2005
Towards provable security for ad hoc routing protocols
(
Citations: 47
)
Levente Buttyán
,
István Vajda
Conference:
workshop on security of ad hoc and sensor networks - SASN
, pp. 94-105, 2004
Towards the Correctness of Security Protocols
(
Citations: 1
)
Mourad Debbabi
Published in 2004.
A new logic for electronic commerce protocols
(
Citations: 29
)
Kamel Adi
,
Mourad Debbabi
,
Mohamed Mejri
Journal:
Theoretical Computer Science - TCS
, vol. 291, no. 3, pp. 223-283, 2003