Bulletin of the Japan Society for Industrial and Applied Mathematics
Online ISSN : 2432-1982
Industrial Materials
Formal Verification Tools for Cryptographic Protocols and Their Applications
Misato Nakabayashi, Tetsuya Okuda
Author information
JOURNAL FREE ACCESS

2023 Volume 33 Issue 2 Pages 83-88

Details
Download PDF (1813K)
Download citation RIS

(compatible with EndNote, Reference Manager, ProCite, RefWorks)

BIB TEX

(compatible with BibDesk, LaTeX)

Text
How to download citation
Contact us
Article 1st page
Content from these authors
© 2023 The Japan Society for Industrial and Applied Mathematics
Previous article Next article
Favorites & Alerts

Recently viewed articles
Share this page
feedback
 Top