CAJ | 학술논문

针对分布式环境中信任管理缺乏统一定义和一致性验证算法效率较低等问题,给出了信任管理的形式化定义.信任管理为六元组,包括可数的主体集、信任类型集、信任属性集、上下文集,以及主体之间存在的信任关系和定义在信任关系上的且封闭于此关系的函数.同时,讨论了形式化定义与描述性定义之间的关系,由此提出了高效的信任管理模型NUMEN.模型的一致性验证算法基于格不动点理论,其时间复杂度和空间复杂度与授权证书集的势n有关,均为O(n).实验结果表明,NUMEN以较小的开销能够获取较高的安全性,其一致性验证算法优于SPKI/SDSI和Key-Note模型,并得出了授权证书数和权限委托节点数是影响系统运行时间的关键因素的结论.
침대분포식배경중신임관리결핍통일정의화일치성험증산법효솔교저등문제,급출료신임관리적형식화정의.신임관리위륙원조,포괄가수적주체집、신임류형집、신임속성집、상하문집,이급주체지간존재적신임관계화정의재신임관계상적차봉폐우차관계적함수.동시,토론료형식화정의여묘술성정의지간적관계,유차제출료고효적신임관리모형NUMEN.모형적일치성험증산법기우격불동점이론,기시간복잡도화공간복잡도여수권증서집적세n유관,균위O(n).실험결과표명,NUMEN이교소적개소능구획취교고적안전성,기일치성험증산법우우SPKI/SDSI화Key-Note모형,병득출료수권증서수화권한위탁절점수시영향계통운행시간적관건인소적결론.