Kinoshita Keisuke | Ntt Communication Science Laboratories Ntt Corporation
スポンサーリンク
概要
Ntt Communication Science Laboratories Ntt Corporation | 論文
- 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)