Login / Signup
A simple framework for real-time cryptographic protocol analysis with compositional proof rules.
Roberto Gorrieri
Fabio Martinelli
Published in:
Sci. Comput. Program. (2004)
Keyphrases
</>
real time
data analysis
data model
response time
low cost
image compression
cost effective
data access