从交互安全、行为可信任和环境可信赖角度刻画自主计算主体的行为及多方计算,是安全多方计算可信性的基本要素。本项目利用Petri网作为统一的形式化工具为研究提供模型支持,利用过程挖掘技术和模型融合技术有效地建立安全多方计算的Petri网模型。利用Petri网模型作为语言识别器发现安全多方计算的非信任行为模式,建立非信任行为的分类体系;利用Petri网模型作为语言产生器用于检测计算主体的"可信行为漂移"
{{i.achievement_title}}
数据更新时间:2023-05-31
硬件木马:关键问题研究进展及新动向
面向云工作流安全的任务调度方法
空气电晕放电发展过程的特征发射光谱分析与放电识别
人工智能技术在矿工不安全行为识别中的融合应用
瞬态波位移场计算方法在相控阵声场模拟中的实验验证
可信的安全多方计算环境构建方法及其关键技术研究
安全多方计算的模型和方法研究
安全多方计算与可证安全密码方案
安全的多方计算几何的研究