Affine Refinement Types for Authentication and Authorization.

Michele Bugliesi Stefano Calzavara Fabienne Eigner Matteo Maffei

Published in: TGC (2012)

Keyphrases

access control
image registration
security requirements
neural network
database
data sets
identity management
trust negotiation