A Framework for Automated Security Proof and its Application to OAEP.

Yan Guang Yue-Fei Zhu Chun-Xiang Gu Jinlong Fei Xin-Zheng He

Published in: J. Networks (2013)

Keyphrases

main contribution
social networks
lightweight
intrusion detection
neural network
website
database systems
access control
information security
theorem proving
semi automated
security requirements
security systems