SCOPUS 정보 검색 플랫폼

Journal of Computer Security

Volumn 9, Issue 1-2, 2001, Pages 143-164

A cost-based framework for analysis of denial of service in networks

(1) Meadows, C a

a NAVAL RESEARCH LABORATORY (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER NETWORKS; COSTS; CRYPTOGRAPHY; MATHEMATICAL MODELS; NETWORK PROTOCOLS; SERVERS; TELECOMMUNICATION SERVICES;

CRYPTOGRAPHIC PROTOCOLS; GONG-SYVERSON FAIL-STOP MODEL;

DATA COMMUNICATION SYSTEMS;

EID: 0035075103 PISSN: 0926227X EISSN: None Source Type: Journal
DOI: 10.3233/JCS-2001-91-206 Document Type: Article

Times cited : (113)

References (23)

1
- 0005078946
- Entity authentication and key distribution
- Springer-Verlag LLNCS 773
- (1995) Advances in Cryptology - CRYPTO '95
- Bellare, M.¹ Rogaway, P.²

2
- 0005502280
- See also The Linux Documentation Project, http://metalab.unc.edu/mdw/index.htm1
- Bernstein, D.J.¹

3
- 0025386404
- A logic of authentication
- (1990) ACM Transactions in Computer Systems , vol.8 , Issue.1 , pp. 18-36
- Burrows, M.¹ Abadi, M.² Needham, R.³

4
- 1542593353
- Authentication and authenticated key exchanges
- (1992) Designs, Codes, and Cryptography , pp. 107-125
- Diffie, W.¹ Van Oorschot, P.C.² Wiener, M.J.³

5
- 0003406377
- Prentice-Hall
- (2000) IPSec: The New Security Standard for the Internet, Intranets, and Virtual Private Networks
- Doraswamy, N.¹ Harkins, D.²

6
- 0031676397
- Strand spaces: Why is a security protocol correct?
- IEEE Computer Society Press, May
- (1998) Proceedings of the 1998 IEEE Symposium on Security and Privacy , pp. 160-171
- Javier, F.¹ Fabrega, T.² Herzog, J.C.³ Guttman, J.D.⁴

7
- 0020915186
- A note on the denial-of-service problem
- IEEE Computer-Society Press
- (1983) Proceedings of the 1983 Symposium on Security and Privacy , pp. 139-149
- Gligor, V.¹

8
- 0029713154
- What do we mean by entity authentication?
- IEEE Computer Society Press
- (1996) Proceedings of the 1996 IEEE Symposium on Research in Security and Privacy , pp. 46-54
- Gollmann, D.¹

9
- 0003161603
- Fail-stop protocols: An approach to designing secure protocols
- R.K. Iyer, M. Morganti, W.K. Fuchs and V. Gligor, eds. IEEE Computer Society
- (1998) Dependable Computing for Critical Applications 5 , pp. 79-99
- Gong, L.¹ Syverson, P.²

10
- 0004077031
- The photuris session key management protocol
- Internet draft: draft-simpson-photuris-17.txt, November
- (1997)
- Karn, P.¹ Simpson, W.²

11
- 0005443505
- Internet routing infrastructure security countermeasures
- BBN, January
- (1996) BBN Report 8173
- Kent, S.T.¹ Ellis, D.² Helinek, P.³ Sirois, K.⁴ Yuan, N.⁵

12
- 0017996760
- Times, clocks, and the ordering of events in a distributed system
- (1978) CACM , vol.21 , Issue.7 , pp. 558-565
- Lamport, L.¹

13
- 0032218226
- A probabilistic poly-time framework for protocol analysis
- ACM Press, November
- (1998) Proceedings of the 5th ACM Conference on Computer and Communications Security, San Francisco, CA
- Lincoln, P.¹ Mitchell, J.² Mitchell, M.³ Scedrov, A.⁴

14
- 0029719080
- Some new attacks upon security protocols
- IEEE Computer Society, June
- (1996) Proceedings of the 9th IEEE Computer Security Foundations Workshop , pp. 162-169
- Lowe, G.¹

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

16
- 0032664157
- A formal framework and evaluation method for network denial of service
- IEEE Computer Society Press, June
- (1999) Proceedings of the 12th IEEE Computer Security Foundations Workshop , pp. 4-13
- Meadows, C.¹

17
- 0030084918
- The NRL protocol analyzer: An overview
- (1996) Journal of Logic Programming , vol.26 , Issue.2 , pp. 113-131
- Meadows, C.¹

18
- 0026850008
- A resource allocation model for denial of service
- IEEE Computer Society Press
- (1992) Proceedings of the 1992 IEEE Symposium on Security and Privacy , pp. 137-147
- Millen, J.¹

19
- 0005470407
- Denial of service: A perspective
- F. Cristian, G. Le Lann and T. Lunt, eds, Springer-Verlag
- (1995) Dependable Computing for Critical Applications 4 , pp. 93-108
- Millen, J.¹

20
- 0029232910
- The interrogator model
- IEEE Computer Society Press, May
- (1995) Proceedings of the 1995 IEEE Symposium on Security and Privacy , pp. 251-260
- Millen, J.¹

21
- 0003684287
- CAPSL: Common authentication protocol specification language
- The MITRE Corporation, 1997
- Technical Report MP 97B48
- Millen, J.K.¹

22
- 0030705405
- Automated analysis of cryptographic protocols using Murφ,
- IEEE Computer Society Press, May
- (1997) Proceedings of the 1997 IEEE Symposium on Security and Privacy , pp. 141-151
- Mitchell, J.¹ Mitchell, M.² Stern, U.³

23
- 0005489522
- The inductive analysis of the internet protocol TLS
- Cambridge University Computer Science Laboratory
- (1998) Report 440
- Paulson, L.C.¹

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