Sano Kimikazu | Ntt Corp. Atsugi‐shi Jpn
スポンサーリンク
概要
Ntt Corp. Atsugi‐shi Jpn | 論文
- Termination of Order-Sorted Rewriting with Non-minimal Signatures
- Name Creation Implements Restriction in the π-Calculus
- On Backward-Style Anonymity Verification
- An Adversary Model for Simulation-Based Anonymity Proof
- Verifying Trace Equivalence of a Shared-Memory-Style Communication System(Selected Papers from the 17th Workshop on Circuits and Systems in Karuizawa)