Art

J-GLOBAL ID：202002257749245619   Reference number：20A1911754

Formalization of DES encryption using model verifier ProVerif

モデル検査器ProVerifによるDES暗号の形式化

Author (5)： ISOGAI MOE (信州大 工) ,  OKAZAKI HIROYUKI (信州大 工) ,  ARAI KEN'ICHI (長崎大 大学院工学研究科) ,  FUTA YUICHI (東京工科大 コンピュータサイエンス) ,  MIENO TAKEHIKO (エプソンアヴァシス)
Material： 電子情報通信学会大会講演論文集(CD-ROM)  (電子情報通信学会ソサイエティ大会講演論文集(CD-ROM))
Volume： 2020  Issue： 総合大会  Page： ROMBUNNO.D-19-9  Publication year： Mar. 03, 2020 
JST Material Number： G0508B  ISSN： 1349-144X  Document type： Proceedings
Article type： 短報  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： Language ,  *decoding ,  communication channel ,  cryptogram ,  formal description ,  model checking ,  secret key cryptosystem ,  block cipher ,  cryptographic protocol ,  encryption processing
Semi thesaurus term： 形式的検証 ,  DES暗号 ,  クエリー ,  暗号文 , 【Automatic Indexing@JST】

JST classification (3)： Computer networks  (JC03000K) ,  Standardization and standards of technology  (NA01050X) ,  Numerical computation  (JE02000J)

Terms in the title (3)： モデル検査 ,  DES暗号 ,  形式化