Secure Implementation of Channel Abstractions.

Martín Abadi Cédric Fournet Georges Gonthier

Published in: Electron. Notes Theor. Comput. Sci. (1997)

Keyphrases

covert channel
multi channel
high level
efficient implementation
communication channels
neural network
end to end