The Applied Pi Calculus: Mobile Values, New Names, and Secure Communication
Abadi, Martín ; Blanchet, Bruno ; Fournet, Cédric
Journal of the ACM, 2018-01, Vol.65 (1), p.0
[Peer Reviewed Journal]
New York: Association for Computing Machinery
Full text available
- Searching for
- inscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
- Show me what you have so far