Correctness by Construction: Developing a Commercial Secure System.

Anthony Hall Roderick Chapman

Published in: IEEE Softw. (2002)

Keyphrases

e learning
data sets
neural network
information systems
case study
image sequences
lightweight
sensitive data
security mechanisms
security protocols