Security Types Preserving Compilation: (Extended Abstract).

Gilles Barthe Amitabh Basu Tamara Rezk

Published in: VMCAI (2004)

Keyphrases

extended abstract
information assurance
security issues
intrusion detection
databases
case study
access control
information security
network security
statistical databases
genetic algorithm
mobile devices
sensor networks
low cost
security requirements
security problems