A Query based Formal Security Analysis Framework for Enterprise LAN.

Padmalochan Bera Soumya Maity Soumya Kanti Ghosh Pallab Dasgupta

Published in: CIT (2010)

Keyphrases

security analysis
database
formal model
information systems
smart card
databases
query processing
high security