扫一扫
关注中图网
官方微博
出版社：
售价：
-
矩阵结构与矩阵函数的形式化
¥58.5(7.5折)定价:¥78.0在使用ITP技术来验证日趋复杂的现代工程应用问题时，特别是涉及有关微积分等理论的复杂数学分析问题的形式化证明时，因缺乏矩阵分析理论基础定理库的支持，其证明还异常困难或无法实现。为了解决ITP技术在验证这些复杂问题时所面临的技术障碍，提高系统的安全等级，本书以矩阵分析理论的形式化作为基本任务，旨在构建一个用户友好的形式化数学体系，并将该体系运用于实际物理问题的证明...
-
基于属性的数字签名研究
¥49.0(7.2折)定价:¥68.0基于属性的数字签名体制能够细粒度地划分身份特征，其身份被看作是一系列属性特征的集合，只有满足特定属性或某种特定访问控制结构的签名者才可以进行有效的签名。基于属性的数字签名体制因在强调匿名性身份和分布式网络系统方面的应用有着基于身份的密码体制无法比拟的优势，且其应用更为直观、灵活、广泛，而引起学者的广泛关注，目前已成为公钥密码学研究领域的一个热点。本文主要着眼于设计安全可靠、实用的基于属性的签名方案，重点对基于属性签名方案的多属性授权机
五星书
浏览历史
-
不喧哗 自有声
¥19.4¥45.0
