为了满足国内某安全攸关领域的需求, L2C编译器的开发始于2010年9月, 其目标是设计实现一个经过形式化验证的可信编译器, 其源语言是面向领域的同步数据流语言Lustre*(Lustre语言的一个
2021-12-17 07:36
本文介绍了可信链模型双主线协同设计的思路，提出了由信任主线信任流走向来引导功能主线控制流走向的可信边界扩展思想，给出PC 可信链模型执行流程，并通过与传统恶意代
2009-06-16 08:29
详细介绍了“可信计算”的发展历程，总结了容错计算(可信系统与网络)、安全操作系统、网络安全等领域的研究对可信计算形成和发展的推动作用；提出了对可信计算的概念、研
2009-05-14 19:36
本文提出了一种基于可信度的数据融合的航迹处理方法。该方法基于各雷达提供的信息的相对可信度，对不同航迹分别建立多雷达可信度判断矩阵，求得各雷达对该目标的可信度，
2009-08-14 15:39
安全攸关软件的可信性关乎生命安全和财产保全，因此，分析评价软件可信性是否符合用户的预期（即软件可信评估）至关重要．软件可信评估从主观和客观两个方面度量软件的质量，对软件
2018-01-15 14:35
针对不同的网络实际条件，提出一种基于蚁群算法的可信网络路由算法，以寻找网络中任意2个节点间的最优路由。在将链路带宽使用情况作为影响路由重组结果可信度的因素时，同
2010-09-12 10:31
可信数据的网络安全
2021-05-07 12:28
可信集成电路在计量应用中的应用
2021-05-14 18:43
作为支撑比特币实现无中心高可信的账本管理的技术，区块链在金融领域得到了广泛关注．区块链实现了不完全可信环境中的可信数据管理，具有去中心化、防篡改、不可抵赖、强一致和完整性等特性，同时也具有高延迟
2017-12-19 18:10
数十年来，所谓的“车载信息娱乐系统”一直都只是一个收音机而已，这种情况直到磁带播放机的出现才发生改变，而随后磁带播放机又被CD播放器所取代，如今，车载系统已被智能手机和流媒体所占据。 很显然，移动
2015-04-13 15:55
