可信代码相关硕士博士期刊学术论文 - 搜论网

可信代码相关论文

可信软件代码中程序标注的使用及类型验证

程序标注技术能够勾勒程序代码中的各种数据属性和软件行为,提出了使用许可类型系统作为沟通程序标注和程序代码的桥梁,从程序代码......

期刊

可信代码程序标注程序验证

可信代码：通过XML签名和加密技术增强数据交换的安全性

XML签名和XML加密标准目前被广泛地用作构建块(building-block)技术。本文解释了XML签名和XML加密标准，并且说明了如何通过．NET使用......

期刊

程序设计 XML签名加密技术安全性数据交换可信代码

看过本文同时还关注