[cap-talk] new paper
Mark S. Miller
markm at cs.jhu.edu
Sat Aug 5 14:07:06 EDT 2006
Can now be found at
Fred Spiessens wrote:
> title: "SCOLL and SCOLLAR : Safe Collaboration based on Partial Trust"
> authors: Fred Spiessens, Yves Jaradin, and Peter Van Roy
> available as UCL research report at:
> When practicing secure programming, it is important to un-
> derstand the restrictive influence programmed entities have on the pro-
> pagation of authority in a program. To precisely model authority pro-
> pagation in patterns of interacting entities, we have generalized an ear-
> lier formalism [SV05b] into “Knowledge Behaviour Models” (KBM). To
> describe such patterns, we present a new domain specific declarative
> language SCOLL (Safe Collaboration Language), which operational se-
> mantics are expressed by means of KBMs.
> To interpret SCOLL patterns we have built SCOLLAR: a model checker
> and generator based on constraint logic programming. SCOLLAR not
> only indicates whether the safety requirements are guaranteed by the
> restricted behaviour of partially trusted subjects, but also lists the dif-
> ferent ways in which the behaviour of a trusted entity can be restricted
> to guarantee the safety properties without restricting its required func-
> tionality and (re-)usability. The tool helps programmers to build correct
> trusted components that can safely interact with partially trusted and
> untrusted components.
> We submitted the paper to TACAS2006.
> cap-talk mailing list
> cap-talk at mail.eros-os.org
Text by me above is hereby placed in the public domain
More information about the cap-talk