岡野 修 | 岡山大学 理学部
スポンサーリンク
概要
岡山大学 理学部 | 論文
- EFFECT OF STEROID HORMONES, GROWTH FACTORS AND CYTOKINES ON THE EXPRESSION OF MATRIX METALLOPROTEINASE mRNAS IN THE MOUSE UTERUS
- An Improved Method for Formal Security Verification of Cryptographic Protocols
- A System for Deciding the Security of Cryptographic Protocols (Special Section on Cryptography and Information Security)
- An Anonymous Bidding Protocol without Any Reliable Center (特集 情報セキュリティの理論と応用)
- A Linkable Group Signature and Its Application to Secret Voting