Proof-carrying authentication

Proceedings of the ACM Conference on Computer and Communications Security

Volumn , Issue , 1999, Pages 52-62

  Appel, Andrew W ^a   Felten, Edward W ^a  

^a PRINCETON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; CLIENT SERVER COMPUTER SYSTEMS; CODES (SYMBOLS); COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING LANGUAGES; CRYPTOGRAPHY; DATA STRUCTURES; ELECTRONIC DOCUMENT IDENTIFICATION SYSTEMS; FORMAL LOGIC;

HIGHER ORDER LOGIC; PROOF CARRYING AUTHENTICATION;

SECURITY OF DATA;

EID: 0033281265     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/319709.319718     Document Type: Conference Paper

References (15)