Login / Signup
典型安全网关的形式化设计与证明 (Formal Design and Verification for Typical Security Gateway).
Ruiyun Wang
Guolei Zhao
Chaowen Chang
Xuejian Wang
Published in:
计算机科学 (2017)
Keyphrases
</>
formal methods
case study
building blocks
formal model
engineering design
high assurance
database
data sets
neural network
software engineering
intrusion detection
model checking
software architecture
computer aided
formal specification