Improved Approach on Modeling and Reasoning about PKI/WPKI

被引：0
|
作者：
Zhang, Mingde [1 ]
Zheng, Xuefeng [1 ]
Lv, Shuwang [2 ]
Yu, Yike [1 ]
机构：
[1] Univ Sci & Technol Beijing, Sch Informat Engn, Beijing 100083, Peoples R China
[2] State Key Lab Informat Secur, Beijing, Peoples R China
来源：
2010 6TH INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS NETWORKING AND MOBILE COMPUTING (WICOM) | 2010年
关键词：
PKI; WPKI; Inference Rule; Reasoning Method; Trust Model;
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页数：4
相关论文
共 50 条
  • [1] WPKI和PKI
    孙波
    冯朝辉
    网络安全技术与应用, 2003, (08) : 23 - 25
  • [2] WPKI与PKI关键技术对比
    路纲
    佘堃
    周明天
    刘家芬
    计算机应用, 2005, (11) : 2505 - 2508
  • [3] A logic-based reasoning about PKI trust model
    El Bakkali, H
    Kaitouni, BI
    PROCEEDINGS OF THE SIXTH IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS, 2001, : 42 - 48
  • [4] Strategic reasoning about business models: a conceptual modeling approach
    Reza Samavi
    Eric Yu
    Thodoros Topaloglou
    Information Systems and e-Business Management, 2009, 7 : 171 - 198
  • [5] Strategic reasoning about business models: a conceptual modeling approach
    Samavi, Reza
    Yu, Eric
    Topaloglou, Thodoros
    INFORMATION SYSTEMS AND E-BUSINESS MANAGEMENT, 2009, 7 (02) : 171 - 198
  • [6] Cognitive Constraint Modeling: A Formal Approach to Supporting Reasoning About Behavior
    Howes, Andrew
    Vera, Alonso
    Lewis, Richard L.
    McCurdy, Michael
    PROCEEDINGS OF THE TWENTY-SIXTH ANNUAL CONFERENCE OF THE COGNITIVE SCIENCE SOCIETY, 2004, : 595 - 600
  • [7] A Temporal Relevant Logic Approach to Modeling and Reasoning about Epistemic Processes
    Cheng, Jingde
    2009 FIFTH INTERNATIONAL CONFERENCE ON SEMANTICS, KNOWLEDGE AND GRID (SKG 2009), 2009, : 18 - 25
  • [8] Modular Norm Models A Lightweight Approach for Modeling and Reasoning about Legal Compliance
    Mandal, Sayonnha
    Gandhi, Robin
    Siy, Harvey
    2017 IEEE 15TH INTL CONF ON DEPENDABLE, AUTONOMIC AND SECURE COMPUTING, 15TH INTL CONF ON PERVASIVE INTELLIGENCE AND COMPUTING, 3RD INTL CONF ON BIG DATA INTELLIGENCE AND COMPUTING AND CYBER SCIENCE AND TECHNOLOGY CONGRESS(DASC/PICOM/DATACOM/CYBERSCI, 2017, : 657 - 662
  • [9] Modeling and reasoning about uncertainty in goal models: a decision-theoretic approach
    Sotirios Liaskos
    Shakil M. Khan
    John Mylopoulos
    Software and Systems Modeling, 2022, 21 (6): : 1 - 24
  • [10] Modeling and Reasoning About Wireless Networks: A Graph-based Calculus Approach
    Liu, Shichao
    Jiang, Ying
    PROCEEDINGS 11TH 2017 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE), 2017, : 133 - 140
12345