モリモト ショウイチ   MORIMOTO Shoichi
  森本 祥一
   所属   専修大学  経営学部
   職種   教授
発表年月日 2005/06/30
発表テーマ A Formal Method for Verifying Security Specifications Based on International Standard
会議名 IEEE-CS, The International Conference on Dependable Systems and Networks (DSN 2005)
主催者 IEEE-CS
学会区分 国際学会
発表形式 口頭(一般)
単独共同区分 共同
開催地名 パシフィコ横浜会議センター(神奈川県横浜市)