A modular correctness proof of IEEE 802.11i and TLS.

Changhua He Mukund Sundararajan Anupam Datta Ante Derek John C. Mitchell

Published in: CCS (2005)

Keyphrases

provably correct
theorem prover
linear logic
parameter estimation
theorem proving
artificial intelligence
image segmentation
mathematical proofs
real time
data mining
decision trees
search algorithm
artificial neural networks
proof planning