Security Type Systems as Recursive Predicates.

Published in: CoRR (2013)

Keyphrases

security systems
management system
intelligent systems
retrieval systems
public safety
search engine
web services
co occurrence
access control
intrusion detection
user defined
statistical databases
biometric systems
sys tems