Login / Signup
Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols.
Stefano Bistarelli
Iliano Cervesato
Gabriele Lenzini
Fabio Martinelli
Published in:
MMM-ACNS (2003)
Keyphrases
</>
databases
information retrieval
digital libraries
process model