Kasami Tadao | Advanced Institute Of Science And Technology
スポンサーリンク
概要
関連著者
-
Kasami Tadao
Advanced Institute Of Science And Technology
-
Watanabe Hajime
岡山大学 理学部
-
Fujiwara T
Osaka University
-
Fujiwara Toru
Department Of Multimedia Engineering Graduate School Of Information Science And Technology Osaka Uni
-
Fujiwara Toru
the Faculty of Engineering Science, Osaka University
-
Koumoto Takuya
Okayama University
-
Watanabe Hajime
The First Department of Internal Medicine, Tohoku University School of Medicine
-
Fujiwara Toru
Faculty Of Engineering Science Osaka University
-
Fujiwara T
Department Of Multimedia Engineering Graduate School Of Information Science And Technology Osaka Uni
-
Seki Hiroyuki
Faculty of Engineering Science, Osaka University
-
Shirakawa Osamu
Sumitomo Metal Industries Ltd.
-
Watanabe H
Department Of Bioenvironmental Research Center For Integrative Bioscience Okazaki National Research
-
Koumoto T
Hiroshima City Univ. Hiroshima Jpn
-
Higuchi Masahiro
Faculty of Engineering Science, Osaka University
-
Fujii Mamoru
College of General Education, Osaka University
-
Fujii Mamoru
College Of General Education Osaka University
-
Higuchi Masahiro
Faculty Of Engineering Kansai University
-
Higuchi Masahiro
Faculty Of Engineering Science Osaka University
-
Seki Hiroyuki
Faculty Of Engineering Science Osaka University
-
Watanabe Hajime
The Faculty Of Nara Institute Of Science And Technology
著作論文
- A System for Deciding the Security of Cryptographic Protocols (Special Section on Cryptography and Information Security)
- A Verification Method via Invariant for Communication Protocols Modeled as Extended Communicating Finite-State Machines