[cap-talk] new paper

[Mark S. Miller]

Can now be found at
http://www.info.ucl.ac.be/people/PVR/rr2005-12.pdf

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:
> http://www.info.ucl.ac.be/people/fsp/rr2005-12.pdf
> 
> Abstract:
> 
> 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.
> 
> cheers,
> Fred.
> 
> 
> _______________________________________________
> cap-talk mailing list
> cap-talk at mail.eros-os.org
> http://www.eros-os.org/mailman/listinfo/cap-talk
> 
> 
> 


-- 
Text by me above is hereby placed in the public domain

     Cheers,
     --MarkM