Analyzing security protocols with secrecy types and logic programs

Subjects

Subjects :

Protocol
Calculus -- Usage
Calculus -- Analysis
Computer network protocols -- Usage
Computer network protocols -- Analysis
Logic programming -- Usage

Details

Language :

English

ISSN :

00045411

Volume :

52

Issue :

1

Database :

Gale General OneFile

Journal :

Journal of the Association for Computing Machinery

Publication Type :

Academic Journal

Accession number :

edsgcl.140933131