Title :
Improved Approach on Modeling and Reasoning about PKI/WPKI
Author :
Zhang, Mingde ; Zheng, Xuefeng ; Lv, Shuwang ; Yu, Yike
Author_Institution :
Sch. of Inf. Eng., Univ. of Sci. & Technol. Beijing, Beijing, China
Abstract :
In order to describe PKI/WPKI trust models with greater precision, a predicate-based improved approach on modeling and reasoning about PKI/WPKI is proposed. By analyzing new practices such as certificate-type, certificate and organization of CA, security-risks of key-holder, web-based trust model and WAP-based trust model, six predicates are defined, nine inference rules are deduced and a four-step reasoning method is presented. This approach takes into account authenticity of private-key, recommendation for certificate-type and certificate, trust anchor, and security of entity and certificate-type, thus being applicable to a variety of trust models. Two examples for reasoning web-based and WAP-based trust models are given to demonstrate how to use this approach.
Keywords :
inference mechanisms; message authentication; private key cryptography; public key cryptography; PKI-WPKI trust model; WAP-based trust model; Web-based trust model; inference rules; predicate-based improved approach; private-key model; reasoning method; security-risks; wireless public key infrastructure; Analytical models; Browsers; Cognition; Computational modeling; Organizations; Public key;
Conference_Titel :
Wireless Communications Networking and Mobile Computing (WiCOM), 2010 6th International Conference on
Conference_Location :
Chengdu
Print_ISBN :
978-1-4244-3708-5
Electronic_ISBN :
978-1-4244-3709-2
DOI :
10.1109/WICOM.2010.5601338
