Detail

Publication date: 01/01/2010

Encoding cryptographic primitives in a calculus with polyadic synchronization

Authors

Joana Martinho, António Ravara,

URL http://ctp.di.fct.unl.pt/~aravara/pubs/journals/10-MR-crypto-epi-final.pdf
Journal Journal of Automated Reasoning
Publisher Universitat Politècnica de Catalunya
URL http://ctp.di.fct.unl.pt/~aravara/pubs/journals/10-MR-crypto-epi-final.pdf
Journal Journal of Automated Reasoning
Publisher Universitat Politècnica de Catalunya