新思
新思科技,作为全球领先的电子设计自动化(EDA)软件及服务提供商,致力于为半导体和电子产品制造商提供创新解决方案。涵盖从芯片设计到系统集成的全方位技术支持,助力加速产品上市时间并提高性能。广泛应用于消费电子、通信设备、汽车电子等领域。加入我们,探索5758个精选资源,掌握前沿技术,提升个人技能,共同...
资源总数
500
新思 全部资料 500 份
提出了Strand空间模型中证明安全协议的一个新思路
提出了Strand空间模型中证明安全协议的一个新思路,它从安全密钥的概念出发,参照基于理想概念的 证明方法,得出证明所需的预备结论,从而对协议的秘密属性与认证属性进行证明。此外,还给出了一个针对 Yahalom.BAN协议安全性的证明实...
2015-11-08
120
Freescale飞思卡尔最新S12X系列16位单片机的一个例子程序
Freescale飞思卡尔最新S12X系列16位单片机的一个例子程序,演示了如何使用XGATE协处理器处理中断。教程来自邵
2017-02-02
162