Back to Results
First PageMeta Content
Ciphertext indistinguishability / RSA / Probabilistic encryption / Oblivious transfer / IP / Index of cryptography articles / Blum–Goldwasser cryptosystem / Cryptography / Electronic commerce / Public-key cryptography


Microsoft PowerPoint - 07-PPT Process Calculus.ppt
Add to Reading List

Document Date: 2005-01-07 00:42:30

Open Document

File Size: 225,10 KB

Share Result on Facebook

City

Lincoln / High Equivalence / /

Company

Gn / Cobham / /

Event

FDA Phase / /

IndustryTerm

wireless handshake protocol / secret protocol / e - commerce / Internet Live Conferencing Windows file-sharing / cyclic / communication networks / /

OperatingSystem

Microsoft Windows / /

Person

Beaver / Athena Paulson / A. Scedrov / V / /

Position

Assume scheduler / General / computable scheduler / NRL Bolignano BAN logic Protocol logic Low Harder Model / probabilistic scheduler / /

Product

CS259 / /

ProgrammingLanguage

C / Hoc / XML / D / /

Technology

crypto properties Protocol / encryption / cryptography / nonce / probabilistic encryption / Write protocol / simulation / Express protocol / family Electronic voting XML Security IEEE 802.11i wireless handshake protocol / Spi-calculus Athena Paulson NRL Bolignano BAN logic Protocol logic Low Harder Model checking FDR Protocol / Nondeterminism vs encryption / Real protocol / voting XML Security IEEE 802.11i wireless handshake protocol Onion Routing Electronic Voting Secure Ad-Hoc Distance Vector Routing An Anonymous Fair Exchange E-commerce Protocol / attacks Low High Protocol / /

SocialTag