Login / Signup
Validating Security Design Patterns Application Using Model Testing.
Takanori Kobashi
Nobukazu Yoshioka
Takao Okubo
Haruhiko Kaiya
Hironori Washizaki
Yoshiaki Fukazawa
Published in:
ARES (2013)
Keyphrases
</>
design patterns
probabilistic model
high level
software engineering
mathematical model
test data
formal model
artificial intelligence
information systems
cooperative
data model
computational model
information security
usage scenarios