@techreport{weko_44409_1, author = "斯波,万恵 and 佐々木尚一 and 石田,貴久 and 井口,寛 and 島田,毅", title = "CCV3.1 EAL1機能特定保証STの有効性に関する考察", year = "2007", institution = "東芝ソリューション株式会社IT技術研究所, 東芝ソリューション株式会社IT技術研究所, 東芝ソリューション株式会社IT技術研究所, 東芝ソリューション株式会社プラットフォームソリューション事業部, 東芝ソリューション株式会社プラットフォームソリューション事業部", number = "71(2007-CSEC-038)", month = "jul" }