長崎大 大学院工学研究科 について
東京工科大 コンピュータサイエンス について
エプソンアヴァシス について
電子情報通信学会大会講演論文集(CD-ROM) について
言語 について
復号化 について
通信チャネル について
暗号 について
形式記述 について
モデル検査 について
秘密鍵暗号 について
ブロック暗号 について
形式的検証 について
DES暗号 について
クエリー について
暗号文 について
暗号プロトコル について
暗号処理 について
計算機網 について
技術の標準化・規格 について
数値計算 について
モデル検査 について
DES暗号 について
形式化 について