鉴别逻辑:从相信逻辑到可信逻辑  

Authentication Logic: From Belief Logic to Trusting Logic

作　　者：南湘浩 

出　　处：《计算机安全》2011年第3期20-22,共3页Network & Computer Security

摘　　要：鉴别逻辑从1990年第一次提出相信逻辑以来,已经历了三个发展阶段：相信逻辑,信任逻辑,可信逻辑。相信逻辑和信任逻辑都是把实体分类为主体和客体,主体对客体的把握度的证明称相信逻辑,

关 键 词：相信逻辑 鉴别 信任逻辑 客体 实体 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]