| 
|
Quote: use spi calculus for typechecking security protocols using shared-key cryptography
topics >
all references >
references a-b >
Group:
type checking
Group:
security
Topic:
security leaks and weaknesses
Quotation Skeleton
in analyzing a protocol, we label each piece … sent on public channels, and secret channels should … The rules have the form of typing rules … [refs] … The rules guarantee that, if a protocol typechecks, … [p. 783] this paper relies on a binary view … This paper concerns only shared-key cryptography. It should … Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: a security leak occurs if secret data is sent on a public channel instead of a secret channel
Group: type checking (12 topics, 385 quotes)
Group: security (23 topics, 802 quotes)
Topic: security leaks and weaknesses (56 items)