지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 발행연도
- 2013.6
- 수록면
- 174 - 189 (16page)
이용수
초록· 키워드
오류제보하기
Security protocols are a critical component to secure systems with appropriate cryptographic methods. Nevertheless, the protocol implementation lacks efficient system practices, as well as practical methods to guarantee conformance between the design and its realization. Motivated by this problem, we set out to generate security protocol code automatically, with an implementation guaranteed to conform to its design. To this end, we implemented a code generation engine that we named EACG. This engine leverages eXtensible Markup Language to describe designed security protocols in an unambiguous manner. Taking the description as input, the designed compiler can automatically convert a protocol to its code implementations in multiple languages with the aid of an underlying support module. Our analysis indicates that EACG automatically generates valid, conformable implementation code for a security protocol. Also, it shows salient advantages compared to current code generation schemes with multi-language support, universality, and ease of use.
목차
Abstract
Introduction
Related Work
The EACG Design
EACG Enhancement and An Example
Scheme Analysis
Conclusion and Future Work
References
참고문헌 (0)
참고문헌 신청이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2015-500-002466488