Secure Implementation of Channel Abstractions.

Martín Abadi Cédric Fournet Georges Gonthier

Published in: LICS (1998)

Keyphrases

multi channel
covert channel
trade off
data sets
genetic algorithm
lightweight
coding scheme
efficient implementation
communication systems
security issues
wireless channels
advanced encryption standard