From Exponential to Polynomial-Time Security Typing via Principal Types.

Sebastian Hunt David Sands

Published in: ESOP (2011)

Keyphrases

intrusion detection
computational complexity
special case
access control
statistical databases
security issues
security threats
information assurance
worst case
biometric systems
security analysis
security properties