Burrows–Abadi–Needham logic (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Burrows–Abadi–Needham logic" in English language version.

refsWebsite

Global rank English rank

670^th place

480^th place

207^th place

136^th place

2^nd place

2^nd place

1semanticscholar.org

11^th place

8^th place

1,185^th place

840^th place

acm.org

dl.acm.org

Boyd, Colin; Mao, Wenbo (1994). "On a limitation of BAN logic". EUROCRYPT '93: Workshop on the theory and application of cryptographic techniques on Advances in cryptology. pp. 240–247. ISBN 9783540576006. Retrieved 2016-10-12.

cam.ac.uk

cl.cam.ac.uk

"Course material on BAN logic" (PDF). UT Austin CS.

doi.org

Monniaux, David (1999). "Decision procedures for the analysis of cryptographic protocols by logics of belief". Proceedings of the 12th IEEE Computer Security Foundations Workshop. pp. 44–54. doi:10.1109/CSFW.1999.779761. ISBN 0-7695-0201-6. S2CID 11283134.

psu.edu

citeseer.ist.psu.edu

Monniaux, David (1999). "Decision procedures for the analysis of cryptographic protocols by logics of belief". Proceedings of the 12th IEEE Computer Security Foundations Workshop. pp. 44–54. doi:10.1109/CSFW.1999.779761. ISBN 0-7695-0201-6. S2CID 11283134.

semanticscholar.org

api.semanticscholar.org

Monniaux, David (1999). "Decision procedures for the analysis of cryptographic protocols by logics of belief". Proceedings of the 12th IEEE Computer Security Foundations Workshop. pp. 44–54. doi:10.1109/CSFW.1999.779761. ISBN 0-7695-0201-6. S2CID 11283134.