21 search results - page 5 / 5 » A Notation and Framework for Dialog Flow Control in Web Appl... |
SP
2008
IEEE
13 years 5 months ago
2008
IEEE
This paper presents FABLE, a core formalism for a programming language in which programmers may specify security policies and reason that these policies are properly enforced. In ...