从交互安全、行为可信任和环境可信赖角度刻画自主计算主体的行为及多方计算,是安全多方计算可信性的基本要素。本项目利用Petri网作为统一的形式化工具为研究提供模型支持,利用过程挖掘技术和模型融合技术有效地建立安全多方计算的Petri网模型。利用Petri网模型作为语言识别器发现安全多方计算的非信任行为模式,建立非信任行为的分类体系;利用Petri网模型作为语言产生器用于检测计算主体的"可信行为漂移"
{{i.achievement_title}}
数据更新时间:2023-05-31
智能煤矿建设路线与工程实践
血管内皮细胞线粒体动力学相关功能与心血管疾病关系的研究进展
带球冠形脱空缺陷的钢管混凝土构件拉弯试验和承载力计算方法研究
面向人机交互的数字孪生系统工业安全控制体系与关键技术
综述:基于轨道角动量光子态的高维量子密钥分发
可信的安全多方计算环境构建方法及其关键技术研究
安全多方计算的模型和方法研究
安全多方计算与可证安全密码方案
安全的多方计算几何的研究