Security types preserving compilation.

Gilles Barthe Tamara Rezk Amitabh Basu

Published in: Comput. Lang. Syst. Struct. (2007)

Keyphrases

information security
statistical databases
security problems
website
security issues
access control
lightweight
information assurance
security management
computer security
key management
intrusion detection
real time
end users
case study
web services
neural network
databases
data sets