Formal Verification of Encrypted Communication in spi-Calculus

研究成果: Article査読

フィンガープリント

「Formal Verification of Encrypted Communication in spi-Calculus」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。