スウリテキ ギホウ ニヨル ジョウホウ セキュリティ
萩谷昌己, 塚田恭章編
東京 : 共立出版, 2010.7
図書等2010
xv, 207p : 挿図 ; 22cm
Formal approach to information security
数理的技法による情報セキュリティ
シリーズ応用数理 / 日本応用数理学会監修 ; 第1巻
監修: 日本応用数理学会
参考文献: 各章末
日本
日本語 (jpn)
日本語 (jpn)
萩谷, 昌己(1957-) (ハギヤ, マサミ) [ Hagiya, Masami, 1957- ]
塚田, 恭章(1963-) (ツカダ, ヤスユキ) [ *Tukada, Yasuyuki ] [ *Tsukada, Yasuyuki ]
日本応用数理学会 (ニホン オウヨウ スウリ ガッカイ) [ Japan Society for Industrial and Applied Mathematics ] [ Japan SIAM ] [ JSIAM ]
NDC8:007.6
NDC9:007.609
9784320019508
BB02866018
