Search results for "Cryptographic protocol" | NDL Search

Search results 6

Group by title

Digital博士論文障害者向け資料あり

Tran, Dinh Duong2023-09

National Diet Library

Subject Headingformal verification proof scores post-quantum cryptographic protocols algebraic language IPSG

Digital博士論文障害者向け資料あり

DO, Minh Canh2022-09

National Diet Library

Subject Heading...model checking cryptographic protocol analysis state space explosio...

Digital博士論文障害者向け資料あり

清島, 奨Kyoto University2018-03-26

Available onlineNational Diet LibraryOther Libraries in Japan

Subject HeadingCryptography Cryptographic protocol Zero-knowledge proof Secure c...
Alternative TitleA Study on Cryptographic Protocols: Achieving Strong Security f...
Alternative TitleA Study on Cryptographic Protocols: Achieving Strong Security f...

Digital博士論文

Tran, Dinh Duong2023-09

Available onlineOther Libraries in Japan

Subject Headingformal verification proof scores post-quantum cryptographic protocols algebraic language IPSG

Digital博士論文

DO, Minh Canh2022-09

Available onlineOther Libraries in Japan

Subject Heading...model checking cryptographic protocol analysis state space explosio...

Digital文書・図像類

森, 雅生Department of Informatics, Kyushu University2001-09-07DOI Technical Report199

Available onlineOther Libraries in Japan

Reached to the end of result.

RSS