Art

J-GLOBAL ID：202002244239080374   Reference number：20A2613965

ProVerifを用いたMD変換の形式化

Author (5)： YOSHIMURA TOGO (信州大) ,  ARAI KEN'ICHI (長崎大) ,  OKAZAKI HIROYUKI (信州大) ,  FUTA YUICHI (東京工科大) ,  MIENO TAKEHIKO (エプソンアヴァシス)
Material： 日本応用数理学会年会講演予稿集(CD-ROM)  (JSIAM年会講演予稿集(CD-ROM))
Volume： 2020  Page： 223-224  Publication year： 2020 
JST Material Number： L6974B  ISSN： 1345-3378  Document type： Proceedings
Article type： 短報  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *cryptology ,  *protocol ,  *formulation ,  hash function ,  *cryptographic protocol ,  natural number ,  safety certification
Semi thesaurus term： 形式化 ,  compressibility function

JST classification (1)： Code theory  (ND02030R)

Terms in the title (2)： Md ,  形式化