Design and Verification of Security API Structure Based on PKCS #11.

Kun-Won Jang Junho Choun Myung-Hee Kim Moon-Seog Jun

Published in: CIT (2006)

Keyphrases

java card
engineering design
user interface
model checking
open source
access control
anomaly detection
design principles
network security
functional requirements
formal verification
high assurance
functional verification