Secure Implementation of Channel Abstractions.

Martín Abadi Cédric Fournet Georges Gonthier

Published in: Inf. Comput. (2002)

Keyphrases

covert channel
hardware implementation
implementation details
database
real time
data sets
information systems
high level
trade off
data model
efficient implementation
multiple access