出版社:科学出版社
年代:2014
定价:65.0
本书属于信息安全领域,旨在解决物联网和信息物理系统环境下高可靠系统所面临的信息安全问题。但本书同时涵盖了网络信息安全、数字电路、设计自动化以及算法复杂性理论等相关学科。其中,在网络信息安全领域主要涉及基于格模型的信息流安全理论及方法;在数字电路方面主要涉及信息流模型的形式化描述以及设计优化问题;在设计自动化领域主要利用了一些相关的电路设计、评估与验证方法;在算法复杂性理论方面主要涉及一些相关算法的设计与复杂度分析。
吴衡, 董峰, 著
薛丽敏, 陆幼骊, 罗隽, 丁霞, 林晨希, 编著
李鑫, 著
(美) 马克·瑞恩 M. 塔拉比斯 (Mark Ryan M. Talabis) , (美) 罗伯特·麦弗逊 (Robert McPherson) , (日) 宫本勋, (美) 杰森 L. 马丁, 著
赵振洲, 著
熊平, 主编
张剑, 主编
李建华, 主编
傅予力等, 编