Sofutowea kōshin shisutemu no moderu kensa ni yoru sekyuriti
By: Yamagata Yoriyuki, Saitō Masaya.
Contributors: Saitō, Masaya.
Series: Sanpu kagaku kenkyū sokuhō = Programming science technical report
Publisher: Sangyō Gijutsu Sōgō Kenkyūjo Shisutemu Kenshō Kenkyū Sentā
Published: 2007
Place of publication: Ikeda-shi
Language: jpn
Other titles: Security verification through model checking: a case study using software update system
Notes: "AIST-PS-2007-008"