Automatic Approach of Provable Security and its Application for OAEP+.

Chun-Xiang Gu Yan Guang Yue-Fei Zhu

Published in: IACR Cryptol. ePrint Arch. (2009)

Keyphrases

information security
semi automatic
network security
intrusion detection
fully automatic
access control
data security
data sets
mobile devices
security issues
case study
control system
data driven
security analysis
security model
security problems