机读格式显示(MARC)

• 000 01332nam 2200289 450

• 001 0000436700

• 005 20160615160600.0

• 010 __ |a 978-7-03-042370-2 |d CNY72.00

• 100 __ |a 20150105d2014 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a ak a 000yy

• 106 __ |a r

• 200 1_ |a 门级信息流分析理论及应用 |A Men Ji Xin Xi Liu Fen Xi Li Lun Ji Ying Yong |f 胡伟, 慕德俊著

• 210 __ |a 北京 |c 科学出版社 |d 2014

• 215 __ |a 210页 |c 图 |d 24cm

• 225 2_ |a 信息安全技术丛书 |A Xin Xi An Quan Ji Shu Cong Shu

• 320 __ |a 有书目 (第187-195页)

• 330 __ |a 本书属于信息安全领域，旨在解决物联网和信息物理系统环境下高可靠系统所面临的信息安全问题。但本书同时涵盖了网络信息安全、数字电路、设计自动化以及算法复杂性理论等相关学科。其中，在网络信息安全领域主要涉及基于格模型的信息流安全理论及方法；在数字电路方面主要涉及信息流模型的形式化描述以及设计优化问题；在设计自动化领域主要利用了一些相关的电路设计、评估与验证方法；在算法复杂性理论方面主要涉及一些相关算法的设计与复杂度分析。

• 333 __ |a 可供信息安全、计算机体系架构和电子设计自动化领域的广大科研工作者、教师和研究生阅读。

• 410 _0 |1 2001 |a 信息安全技术丛书

• 606 0_ |a 信息安全 |A Xin Xi An Quan

• 690 __ |a TP309 |v 5

• 701 _0 |a 胡伟 |A Hu Wei |4 著

• 701 _0 |a 慕德俊 |A Mu De Jun |4 著

• 801 _0 |a CN |b 江苏新华 |c 20150511

• 905 __ |a WXCSXY |d TP309/105