Keyphrases
- correctness criterion
- formal proof
- lightweight
- provably correct
- linear logic
- formal analysis
- security protocols
- neural network
- communication protocols
- tcp ip
- theorem proving
- theorem prover
- integrity constraints
- natural deduction
- digital libraries
- trusted third party
- network protocols
- real time
- file transfer
- mathematical proofs