Practical API Protocol Checking with Access Permissions.

Kevin Bierhoff Nels E. Beckman Jonathan Aldrich

Published in: ECOOP (2009)

Keyphrases

access control
data dissemination
real world
security model
communication protocol
end to end
role based access control
open source
lightweight
formal analysis
random access