Bisimulations in the join-calculus
Theoretical Computer Science
Seal: A Framework for Secure Mobile Computations
ICCL'98 Workshop on Internet Programming Languages
A Calculus of Mobile Resources
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
The Join Calculus: A Language for Distributed Mobile Programming
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
A symbolic intruder model for hash-collision attacks
ASIAN'06 Proceedings of the 11th Asian computing science conference on Advances in computer science: secure software and related issues
| Hi-index | 0.00 |