지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 발행연도
- 2008.12
- 수록면
- 219 - 232 (14page)
이용수
초록· 키워드
오류제보하기
A novel idea of protocol security analysis is presented based on trusted freshness. The idea has been implemented not only by hand but also by a belief multisets formalism for automation. The key of the security analysis based on trusted freshness is a freshness principle: for each participant of a cryptographic protocol, the security of the protocol depends only on the sent or received one-way transformation of a message, which includes a trusted freshness. The manual security analysis method and the belief multisets formalism are all established on the basis of the freshness principle. Security analysis based on trusted freshness can efficiently distinguish whether a message is fresh or not, and the analysis results suggest the correctness of a protocol convincingly or the way to construct attacks intuitively from the absence of security properties. Furthermore, the security analysis based on trusted freshness is independent of the idealization of a protocol the concrete formalization of attackers' possible behaviors, and the formalization of concurrent runs of protocols.
목차
Abstract
Ⅰ. Introduction
Ⅱ. Preliminaries
Ⅲ. Freshness Principle
Ⅳ. Belief Multisets Formalism
Ⅴ. Conclusion
Acknowledgement(s)
References
Authors
참고문헌 (19)
참고문헌 신청
1. [학술지(정기간행물)] - R. Needham / 1978 / Using encryption for authentication in large network of computers / Communication of the ACM 21 (12) : 993 ~ 999
2. [학술지(정기간행물)] - G Lowe / 1995 / An attack on the needham-schroeder public key authentication protocol / Information Processing letters 56 (3) : 131 ~ 133
3. [학술지(정기간행물)] - M. Abadi / 1996 / Prudent engineering practice for cryptographic protocols / IEEE Transactions on Software Engineering 21 (1) : 6 ~ 15
4. [학술지(정기간행물)] - D.Dolev / 1983 / On the security of public key protocols / IEEE Transactions on Information Theory 29 (2)
5. [학술대회논문] - M. A M. Burrows / 1989 / A logic of authentication / Proc. Royal Soc. London A 426 : 233 ~ 271
2. [학술지(정기간행물)] - G Lowe / 1995 / An attack on the needham-schroeder public key authentication protocol / Information Processing letters 56 (3) : 131 ~ 133
3. [학술지(정기간행물)] - M. Abadi / 1996 / Prudent engineering practice for cryptographic protocols / IEEE Transactions on Software Engineering 21 (1) : 6 ~ 15
4. [학술지(정기간행물)] - D.Dolev / 1983 / On the security of public key protocols / IEEE Transactions on Information Theory 29 (2)
5. [학술대회논문] - M. A M. Burrows / 1989 / A logic of authentication / Proc. Royal Soc. London A 426 : 233 ~ 271
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
A Dimensionless Index for Quantitative Evaluation of Apple Freshness
Agricultural and Biosystems Engineering
2000 .01
-
세포 표면 특성을 이용한 사과 신선도 평가
바이오시스템공학(구 한국농업기계학회지)
1997 .01
-
Fruit freshness monitoring system using the smart RFID system
대한전자공학회 학술대회
2013 .07
-
NIR을 이용한 쇠고기의 신선도 센서 개발
바이오시스템공학(구 한국농업기계학회지)
2004 .01
-
Identification of Gaseous Food Spoilage Indicators for Non-destructive and Early-detective Food Freshness Monitoring
한국생물공학회 학술대회
2015 .10
-
Image Sensing Toward Freshness Indices of Squid Muscle
대한전자공학회 기타 간행물
2008 .01
-
An Engine for Automatic Code Generation of Security Protocols in Multiple Languages
SmartCR
2013 .06
-
Trusted Mobility Support Protocol in the Mobile IPv6 Networks
ICEIC : International Conference on Electronics, Informations and Communications
2008 .06
-
ISP 보안 이슈와 Trusted Security
한국통신학회 학술대회논문집
2003 .07
-
알려지지 않은 프로토콜의 보안성 분석
한국정보과학회 학술발표논문집
2019 .12
-
세포 표면 특성을 이용한 사과 선도 평가
한국농업기계학회 학술발표논문집
1997 .01
-
멀티캐스트 정보 보호를 위한 그룰 키 관리 프로토콜의 설계
컴퓨터산업학회논문지
2002 .01
-
PLC제어와 영상처리를 이용한 계란의 비파괴 신선도 측정 시스템 개발
한국정보전자통신기술학회 논문지
2019 .04
-
스펙트럼분석에 의한 식품 신선도 판별
Proceedings of KIIT Conference
2007 .06
-
The Implementation of Security Message Protocol for PDA PUSH Service
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2005 .07
-
Design of the Convergence Security Platform for Smart Universities
JOURNAL OF PLATFORM TECHNOLOGY
2015 .06
-
인터넷 보안 프로토콜에 대한 고찰
한국통신학회 학술대회논문집
2001 .07
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2009-569-015744622