article

Free access

A critique of the Burrows, Abadi and Needham logic

Author:

Dan M. NessettAuthors Info & Claims

ACM SIGOPS Operating Systems Review, Volume 24, Issue 2

Pages 35 - 38

https://doi.org/10.1145/382258.382789

Published: 01 April 1990 Publication History

PDF eReader

References

[1]

[1] Burrows, M., Abadi, M., and Needham, R. A logic of authentication. In Proceedings of the 12th Symposium on Operating System Principles (Litchfield Park, Arizona, Dec., 1989). ACM, 1989, pp. 1-13.

Digital Library

Google Scholar

[2]

[2] Nessett, D. Factors affecting distributed system security. IEEE Trans. Soft. Eng., SE-13, (Feb. 1987) 223-248.

Digital Library

Google Scholar

Cited By

View all

Chen ZJiang HYou JWang XSun P(2024)RFID Lightweight Authentication Mechanism for Smart Factories Based on BlockchainIEEE Journal of Radio Frequency Identification10.1109/JRFID.2024.33561948(19-30)Online publication date: 2024
https://doi.org/10.1109/JRFID.2024.3356194
Wang CWang DDuan YTao X(2023)Secure and Lightweight User Authentication Scheme for Cloud-Assisted Internet of ThingsIEEE Transactions on Information Forensics and Security10.1109/TIFS.2023.327277218(2961-2976)Online publication date: 1-Jan-2023
https://dl.acm.org/doi/10.1109/TIFS.2023.3272772
Gopala Krishna KShekhawat JAgarwal T(2023)Utilization of ECC in Smart Grids: A Review2023 International Conference on Power Energy, Environment & Intelligent Control (PEEIC)10.1109/PEEIC59336.2023.10450890(1419-1423)Online publication date: 19-Dec-2023
https://doi.org/10.1109/PEEIC59336.2023.10450890
Show More Cited By

Index Terms

A critique of the Burrows, Abadi and Needham logic

Index terms have been assigned to the content through auto-classification.

Recommendations

Protocol Derivation System for the Needham-Schroeder family

A framework consisting of the Protocol Derivation System PDS and the Protocol Composition Logic PCL has been recently proposed by Datta et al. for the design and analysis of a secure composition of cryptographic protocols. However, the PDS in this ...
Model Checking Needham-Schroeder Security Protocol Based on Temporal Logic of Knowledge
NSWCTC '09: Proceedings of the 2009 International Conference on Networks Security, Wireless Communications and Trusted Computing - Volume 02

Formal verification approaches can guarantee the correctness of security protocols. In this paper we take the well-known Needham-Schroeder public-key authentication protocol as an example, to show how we can apply the symbolic model checker for ...
A computational analysis of the Needham-Schroeder-(Lowe) protocol

The Needham Schroeder protocol and its repaired verdion due to Lowe are the main test cases used by symbolic methods for cryptographic protocol analysis. In this paper we proved the first computational analysis of the protocol. We start by translating ...

Comments

Information & Contributors

Information

Published In

cover image ACM SIGOPS Operating Systems Review

ACM SIGOPS Operating Systems Review Volume 24, Issue 2

April 1990

67 pages

ISSN:0163-5980

DOI:10.1145/382258

Editor:
William M. Waite
Univ. of Colorado, Boulder

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 April 1990

Published in SIGOPS Volume 24, Issue 2

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

94
Total Citations
View Citations
1,180
Total Downloads

Downloads (Last 12 months)122
Downloads (Last 6 weeks)10

Reflects downloads up to 15 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Chen ZJiang HYou JWang XSun P(2024)RFID Lightweight Authentication Mechanism for Smart Factories Based on BlockchainIEEE Journal of Radio Frequency Identification10.1109/JRFID.2024.33561948(19-30)Online publication date: 2024
https://doi.org/10.1109/JRFID.2024.3356194
Wang CWang DDuan YTao X(2023)Secure and Lightweight User Authentication Scheme for Cloud-Assisted Internet of ThingsIEEE Transactions on Information Forensics and Security10.1109/TIFS.2023.327277218(2961-2976)Online publication date: 1-Jan-2023
https://dl.acm.org/doi/10.1109/TIFS.2023.3272772
Gopala Krishna KShekhawat JAgarwal T(2023)Utilization of ECC in Smart Grids: A Review2023 International Conference on Power Energy, Environment & Intelligent Control (PEEIC)10.1109/PEEIC59336.2023.10450890(1419-1423)Online publication date: 19-Dec-2023
https://doi.org/10.1109/PEEIC59336.2023.10450890
Yin HHuang XXing BHuang JSun XLi JChai SZhang DBakar RWang W(2023)LSNCP: Lightweight and Secure Numeric Comparison Protocol for Wireless Body Area NetworksIEEE Internet of Things Journal10.1109/JIOT.2023.326249810:15(13247-13263)Online publication date: 1-Aug-2023
https://doi.org/10.1109/JIOT.2023.3262498
Chahar NSingh KHussain M(2023)Simplified Micropayment Mechanism to Eliminate the Risk of Double Payment in E-Commerce2023 International Conference on Advances in Intelligent Computing and Applications (AICAPS)10.1109/AICAPS57044.2023.10074490(1-6)Online publication date: 1-Feb-2023
https://doi.org/10.1109/AICAPS57044.2023.10074490
Tang LHe MXiong LXiong NLuo Q(2023)An efficient and privacy-preserving query scheme in intelligent transportation systemsInformation Sciences10.1016/j.ins.2023.119448647(119448)Online publication date: Nov-2023
https://doi.org/10.1016/j.ins.2023.119448
Thungon LSahana SHussain M(2023)A lightweight certificate-based authentication scheme for 6LoWPAN-based internet of thingsThe Journal of Supercomputing10.1007/s11227-023-05089-379:11(12523-12548)Online publication date: 15-Mar-2023
https://dl.acm.org/doi/10.1007/s11227-023-05089-3
Chen CMiao QKumar SWu T(2023)Privacy‐preserving authentication scheme for digital twin‐enabled autonomous vehicle environmentsTransactions on Emerging Telecommunications Technologies10.1002/ett.475134:11Online publication date: 14-Mar-2023
https://dl.acm.org/doi/10.1002/ett.4751
Kumar AHussain MSahni SSaxena VIyengar S(2022)Mutual Authentication of Devices under Multi-Cluster Environment in Industrial Internet of Things (IIoT) NetworksProceedings of the 2022 Fourteenth International Conference on Contemporary Computing10.1145/3549206.3549229(120-126)Online publication date: 4-Aug-2022
https://dl.acm.org/doi/10.1145/3549206.3549229
Darman IMahmood MChaudhry SKhan SLim H(2022)Designing an Enhanced User Authenticated Key Management Scheme for 6G-Based Industrial ApplicationsIEEE Access10.1109/ACCESS.2022.319864210(92774-92787)Online publication date: 2022
https://doi.org/10.1109/ACCESS.2022.3198642
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

References

Cited By

Index Terms

Recommendations

Protocol Derivation System for the Needham-Schroeder family

Model Checking Needham-Schroeder Security Protocol Based on Temporal Logic of Knowledge

A computational analysis of the Needham-Schroeder-(Lowe) protocol

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations