Login / Signup
Formal Verification of Security Model Using SPR Tool.
Il-Gon Kim
Miyoung Kang
Jin-Young Choi
Peter D. Zegzhda
Maxim O. Kalinin
Dmitry P. Zegzhda
Inhye Kang
Published in:
Comput. Artif. Intell. (2006)
Keyphrases
</>
formal verification
security model
model checking
access control
public key
security requirements
model checker
symbolic model checking
automated verification
security analysis
provably secure
bounded model checking
security policies
authentication and key agreement