SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Theoretical Computer Science

Volumn 283, Issue 2, 2002, Pages 333-380

Authentication tests and the structure of bundles

(2) Guttman, Joshua D a Thayer, F Javier a

a MITRE CORPORATION (United States)

Author keywords

Authentication; Bundles; Cryptographic protocol design; Cryptographic protocols; Secrecy; Strand spaces

Indexed keywords

COMPUTER CRIME; CRYPTOGRAPHY; HEURISTIC METHODS; NETWORK PROTOCOLS;

CRYPTOGRAPHIC PROTOCOLS;

SECURITY OF DATA;

EID: 0037076868 PISSN: 03043975 EISSN: None Source Type: Journal
DOI: 10.1016/S0304-3975(01)00139-6 Document Type: Article

Times cited : (119)

References (30)

1
- 0000523051
- A logic of authentication
- (1871) Proc. Roy. Soc. Ser. A , vol.426 , pp. 233-271
- Burrows, M.¹ Abadi, M.² Needham, R.³

2
- 0003185332
- SRC Research Report 39 and, in a shortened form
- (1990) ACM Trans. Computer Systems , vol.8 , Issue.1 , pp. 18-36

3
- 0002378128
- Optimal privacy and authentication on a portable communications system
- (1994) Oper. Systems Rev. , vol.28 , Issue.3 , pp. 16-23
- Carlsen, U.¹

4
- 0032671775
- A meta-notation for protocol analysis
- IEEE Computer Society Press, Silver Spring, MD
- (1999) Proc. 12th IEEE Computer Security Foundations Workshop
- Cervesato, I.¹ Durgin, N.A.² Lincoln, P.D.³ Mitchell, J.C.⁴ Scedrov, A.⁵

5
- 0003568551
- Department of Computer Science, University of York
- (1997) A survey of authentication protocol literature: Version 1.0
- Clark, J.¹ Jacob, J.²

6
- 0003257683
- Using state space exploration and a natural deduction style message derivation engine to verify security protocols
- (1998) Proc. IFIP Working Conf. on Programming Concepts and Methods (PROCOMET)
- Clarke, E.¹ Jha, S.² Marrero, W.³

7
- 0003956839
- RFC 2246
- (1999) The TLS protocol
- Dierks, T.¹ Allen, C.²

8
- 0020720357
- On the security of public-key protocols
- (1983) IEEE Trans. Inform. Theory , vol.29 , pp. 198-208
- Dolev, D.¹ Yao, A.²

9
- 0032659620
- CVS: A compiler for the analysis of cryptographic protocols
- IEEE Computer Society Press, Silver Spring, MD
- (1999) 12th Computer Security Foundations Workshop Proceedings , pp. 203-242
- Durante, A.¹ Focardi, R.² Gorrieri, R.³

10
- 0033706934
- Authentication tests
- IEEE Computer Society Press, Silver Spring, MD, May
- (2000) Proc. 2000 IEEE Symp. on Security and Privacy
- Guttman, J.D.¹ Thayer Fábrega, F.J.²

11
- 0033714403
- Protocol independence through disjoint encryption
- IEEE Computer Society Press, Silver Spring, MD, July
- (2000) Proc. 13th Computer Security Foundations Workshop
- Guttman, J.D.¹ Thayer Fábrega, F.J.²

12
- 0029208563
- Two attacks on Neuman-Stubblebine authentication protocols
- (1995) Inform. Process. Lett. , vol.53 , pp. 103-107
- Hwang, T.¹ Lee, N.-Y.² Li, C.-M.³ Ko, M.-Y.⁴ Chen, Y.-H.⁵

13
- 28144456308
- An attack on the Needham-Schroeder public key authentication protocol
- (1995) Inform. Process. Lett. , vol.56 , Issue.3 , pp. 131-136
- Lowe, G.¹

14
- 0342658605
- Breaking and fixing the Needham-Schroeder public-key protocol using FDR
- Lecture Notes in Computer Science, Springer Berlin
- (1996) Proc. TACAS , vol.1055 , pp. 147-166
- Lowe, G.¹

15
- 0030678388
- Casper: A compiler for the analysis of security protocols
- Silver Spring, MD
- (1997) 10th Computer Security Foundations Workshop Proc. IEEE Computer Society Press , pp. 18-30
- Lowe, G.¹

16
- 0030708255
- A hierarchy of authentication specifications
- Silver Spring, MD
- (1997) 10th Computer Security Foundations Workshop Proc. IEEE Computer Society Press , pp. 31-43
- Lowe, G.¹

17
- 0003317915
- A model checker for authentication protocols
- C. Meadows, H. Orman (Eds.), DIMACS, Rutgers University
- (1997) Proc. DIMACS Workshop on Design and Verification of Security Protocols
- Marrero, W.¹ Clarke, E.² Jha, S.³

18
- 0018048246
- Using encryption for authentication in large networks of computers
- (1978) Commun. ACM , vol.21 , Issue.12
- Needham, R.¹ Schroeder, M.²

19
- 0002088427
- A note on the use of timestamps as nonces
- (1993) Oper. Systems Rev. , vol.27 , Issue.2 , pp. 10-14
- Neuman, B.C.¹ Stubblebine, S.G.²

20
- 0023247970
- Efficient and timely mutual authentication
- (1987) Oper. Systems Rev. , vol.21 , Issue.1 , pp. 8-10
- Otway, D.¹ Rees, O.²

21
- 0030705795
- Proving properties of security protocols by induction
- IEEE Computer Society Press, Silver Spring, MD
- (1997) 10th IEEE Computer Security Foundations Workshop
- Paulson, L.C.¹

22
- 0033682447
- Looking for diamonds in the desert: Extending automatic protocol generation to three-party authentication and key agreement protocols
- IEEE Computer Society Press, Silver Spring, MD
- (2000) Proc. 13th IEEE Computer Security Foundations Workshop
- Perrig, A.¹ Song, D.X.²

23
- 0003780676
- Almqvist and Wiksel, Stockholm
- (1965) Natural Deduction: A Proof-Theoretic Study
- Prawitz, D.¹

24
- 0032678887
- Athena: A new efficient automated checker for security protocol analysis
- IEEE Computer Society Press, Silver Spring MD
- (1999) Proc. 12th IEEE Computer Security Foundations Workshop
- Song, D.X.¹

25
- 84969340391
- Key distribution protocol for digital mobile communication systems
- G. Brassard (Ed.), Advances in Cryptology: CRYPTO '89, Springer, Berlin
- (1990) Lecture Notes in Computer Science , vol.435 , pp. 324-331
- Tatebayashi, M.¹ Matsuzaki, N.² Newman, D.³

26
- 0032671776
- Mixed strand spaces
- IEEE Computer Society Press, Silver Spring, MD
- (1999) Proc. 12th IEEE Computer Security Foundations Workshop
- Thayer Fábrega, F.J.¹ Herzog, J.C.² Guttman, J.D.³

27
- 0033344295
- Strand spaces: Proving security protocols correct
- (1999) J. Comput. Security , vol.7 , Issue.2-3 , pp. 191-230
- Thayer Fábrega, F.J.¹ Herzog, J.C.² Guttman, J.D.³

28
- 0026630927
- Authentication for distributed systems
- (1992) Computer , vol.25 , Issue.1 , pp. 39-52
- Woo, T.Y.C.¹ Lam, S.S.²

29
- 0003273503
- Verifying authentication protocols: Methodology and example
- Formal Eaves dropping and its Computational Interpretation Martín Abadi, Jan Jürjens, submitted for publication
- (1993) Proc. Internat. Conf. on Network Protocols
- Woo, T.Y.C.¹ Lam, S.S.²

30
- 0002508587
- A lesson on authentication protocol design
- (1994) Oper. Systems Rev. , pp. 24-37
- Woo, T.Y.C.¹ Lam, S.S.²

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