Safety and Security Analysis of Object-Oriented Models.

Kevin Lano David Clark Kelly Androutsopoulos

Published in: SAFECOMP (2002)

Keyphrases

security analysis
object oriented
public key
smart card
security model
databases
data mining
low cost
conflict resolution
security properties
high security