dkal ⋆ : Constructing Executable Specifications of Authorization Protocols.
Jean-Baptiste JeanninGuido de CasoJuan ChenYuri GurevichPrasad NaldurgNikhil SwamyPublished in: ESSoS (2013)
Keyphrases
- formal specification
- attribute grammars
- access control
- control flow
- fine grained
- specification language
- protocol specification
- neural network
- conflict resolution
- role based access control
- model checking
- data flow
- communication protocols
- security requirements
- concurrent systems
- key distribution
- communication protocol
- access control policies
- finite state machines
- computing environments
- logic programs
- high level