Authentication primitives and their compilation

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 2000, Pages 302-315

  Abadi, Martín ^a   Fournet, Cédric ^b   Gonthier, Georges ^c  

^a LUCENT TECHNOLOGIES   (United States)

^b MICROSOFT RESEARCH   (United States)

^c INRIA ROCQUENCOURT   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; CRYPTOGRAPHY; DISTRIBUTED COMPUTER SYSTEMS; MULTIPLEXING; NETWORK PROTOCOLS; SECURITY OF DATA;

MARSHALING;

PROGRAM DIAGNOSTICS;

EID: 0033715532     PISSN: 07308566     EISSN: None     Source Type: None    
DOI: 10.1145/325694.325734     Document Type: Conference Paper

References (33)