SCOPUS 정보 검색 플랫폼

Volumn 11, Issue 12, 2000, Pages 1660-1665

Model and its defects of BAN family of logic

Author keywords

BAN logic; Cryptographic protocol; Defect

Indexed keywords

ANALYSIS; LOGIC PROGRAMMING; MODELS; NETWORK PROTOCOLS;

BAN LOGIC; CRYPTOGRAPHY PROTOCOL; POSTULATES;

CRYPTOGRAPHY;

EID: 0034434717 PISSN: 10009825 EISSN: None Source Type: Journal
DOI: None Document Type: Review

Times cited : (6)

References (10)

1
- 0004215976
- A logic of authentication
- Technical Report 39, Digital Systems Research Center
- (1989)
- Burrows, M.¹ Abadi, M.² Needham, R.³

2
- 0025405980
- A critique of the Burrows, Abadi, and Needham logic
- (1990) Operating Systems Review , vol.4 , Issue.2 , pp. 35-38
- Nessett, D.M.¹

3
- 85031620050
- A semantics for a logic of authentication
- Ley M. (ed.), New York: ACM Press
- (1991) Proceedings of the 10th Annual ACM Symposium on Principles of Distributed Computing , pp. 201-216
- Abadi, M.¹ Tuttle, M.²

4
- 85056648637
- Towards a formal analysis of security protocols
- Jackson R. (ed.), Los Alamitos, CA: IEEE Computer Society Press
- (1991) Proceedings of the Computer Security Foundations Workshop VI , pp. 147-158
- Mao, W.B.¹ Boyd, C.²

5
- 0025023289
- Reasoning about belief in cryptographic protocols
- Mike C.C. (ed.), Los Alamitos, CA: IEEE Computer Society Press
- (1990) Proceedings of the 1990 IEEE Computer Society Symposium on Research in Security and Privacy , pp. 234-248
- Li, G.¹ Needham, R.² Yahalom, R.³

6
- 0027929693
- On unifying some cryptographic protocol logics
- Oakson N. (ed.), Los Alamitos: IEEE Computer Society Press
- (1994) Proceedings of the 1994 IEEE Computer Society Symposium on Research in Security and Privacy , pp. 109-121
- Syverson, P.F.¹ van Oorschot, P.C.²

7
- 0000874415
- Limitations of the kerberos authentication system
- (1990) Computer Communication Review , vol.20 , Issue.5 , pp. 119-132
- Bellovin, S.M.¹ Merritt, M.²

8
- 0027750637
- Adding time to a logic of authentication
- Niko B. (ed.), New York: ACM Press
- (1993) Proceedings of the 1st ACM Conference on Computer and Communications Security , pp. 97-101
- Syverson, P.F.¹

9
- 0004381629
- Using logics to detect implementation-dependent flaws
- Narret P. (ed.), Los Alamitos, CA: IEEE Computer Society Press
- (1993) Proceedings of the 9th Annual Computer Security Applications Conference , pp. 64-73
- Carlsen, U.¹

10
- 0003329291
- Towards extensional goals in authentication protocols
- Meadows C. (ed.), Piscataway, NJ: Rutgers Press
- (1997) Proceedings of the DIMACS Workshop on Cryptographic Protocol Design and Verification , pp. 291-303
- Boyd, C.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.