메뉴 건너뛰기




Volumn , Issue , 2000, Pages 150-157

Towards certificate verification in a certificate management system

Author keywords

CA (Certificate Authority); certificate; certificate management systems; certificate verification; formal methods; information security

Indexed keywords

FORMAL METHODS; INFORMATION MANAGEMENT; SECURITY OF DATA;

EID: 84963829761     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ACSC.2000.824396     Document Type: Conference Paper
Times cited : (3)

References (11)
  • 6
    • 0031632931 scopus 로고    scopus 로고
    • Creating security applications based on the global certificate management system
    • N. Kapidzic. Creating security applications based on the global certificate management system. Computers & Security, 17:507-515, 1998.
    • (1998) Computers & Security , vol.17 , pp. 507-515
    • Kapidzic, N.1
  • 9
    • 0031643297 scopus 로고    scopus 로고
    • The inductive approach to verifying cryptographic protocols
    • L. C. Paulson. The inductive approach to verifying cryptographic protocols. Journal of Computer Security, 6(1-2):85-128, 1998.
    • (1998) Journal of Computer Security , vol.6 , Issue.1-2 , pp. 85-128
    • Paulson, L.C.1
  • 10
    • 30244488333 scopus 로고
    • Organization of certification authorities in a global network
    • Denis Trcek. Organization of certification authorities in a global network. Computer Security Journal, 10(1):72-81, 1994.
    • (1994) Computer Security Journal , vol.10 , Issue.1 , pp. 72-81
    • Trcek, D.1
  • 11
    • 84974750564 scopus 로고
    • Authorization in distributed systems: A new approach
    • T. Y. C. Woo and S. S. Lam. Authorization in distributed systems: A new approach. Journal of Computer Security, pages 107-136, 2(1993).
    • (1993) Journal of Computer Security , vol.2 , pp. 107-136
    • Woo, T.Y.C.1    Lam, S.S.2


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