Login / Signup
Inference-proof view update transactions with forwarded refreshments.
Joachim Biskup
Christian Gogolin
Jens Seiler
Torben Weibert
Published in:
J. Comput. Secur. (2011)
Keyphrases
</>
update transactions
databases
database
data sources
linear logic