VSL 2014: VIENNA SUMMER OF LOGIC 2014

This page contains an index consisting of author-provided keywords.

A
access control	Static Enforcement of Role-Based Access Control
C
communicating automata	A Local Logic for Realizability in Web Service Choreographies
L
Languages	Static Enforcement of Role-Based Access Control
local temporal logic	A Local Logic for Realizability in Web Service Choreographies
R
realizability	A Local Logic for Realizability in Web Service Choreographies
S
Security	Static Enforcement of Role-Based Access Control
Static Analysis	Static Enforcement of Role-Based Access Control
W
web service choreography	A Local Logic for Realizability in Web Service Choreographies

Disclaimer | Powered by EasyChair Smart Program