Extention of Kailar Accountability Logic for Symmetric Key Digital Signature and Accountavility Analysis of an Electronic Payment Potocol (대칭키 전자서명을 위한 Kailar 책임 로직 (Accountability Logic)의 확장 및 전자지불 프로토콜의 책임분석)
-
- The Transactions of the Korea Information Processing Society
- /
- v.6 no.11
- /
- pp.3046-3059
- /
- 1999