This is the mail archive of the
kawa@sourceware.org
mailing list for the Kawa project.
Reminder: Scheme UK Meeting: 7 December 2005
- From: Noel Welsh <noelwelsh at yahoo dot com>
- To: guile-user at gnu dot org, "bigloo at sophia dot inria dot fr" <bigloo at sophia dot inria dot fr>, Chicken <chicken-users at nongnu dot org>, JScheme <jscheme-user at lists dot sourceforge dot net>, Kawa <kawa at sources dot redhat dot com>, plt-scheme <plt-scheme at list dot cs dot brown dot edu>, "schemeuk at towers dot org dot uk" <schemeuk at towers dot org dot uk>, SISC Users <sisc-users at lists dot sourceforge dot net>, "uk-lispers at cathouse dot bofh dot se" <uk-lispers at cathouse dot bofh dot se>
- Date: Tue, 29 Nov 2005 07:01:19 -0800 (PST)
- Subject: Reminder: Scheme UK Meeting: 7 December 2005
Scheme UK Meeting: 7 December 2005
The next meeting of the Scheme UK user's group will be held
on 7 December 2005 from 7pm till we leave for the
pub. The meeting will take place at the offices of LShift
(see http://www.lshift.net/contact.html for directions).
This meeting will be held in conjuction with UK Lispers.
Shriram Krishnamurthi: Verification and Change-Impact
Analysis of Access-Control Policies
Sensitive data are increasingly available on-line through
the Web and other distributed protocols. This heightens the
need to carefully control access to data. Control means not
only preventing the leakage of data but also permitting
access to necessary information. Indeed, the same datum is
often treated differently depending on context.
System designers create policies to express conditions on
the access to data. To reduce source clutter and improve
maintenance, developers increasingly use domain-specific,
declarative languages to express these policies. In turn,
administrators need to analyze policies relative to
properties, and to understand the effect of policy changes
even in the absence of properties.
This talk will discuss Margrave, a software suite for
analyzing role-based access-control policies. Margrave
includes a verifier that analyzes policies written in the
XACML language, translating them into a form of
decision-diagram to answer queries. It also provides
semantic differencing information between versions of
policies. Margrave is, of course, implemented in PLT
Scheme.
(Joint work with Kathi Fisler, Leo A. Meyerovich and
Michael
Carl Tschantz)
=========================================================
Scheme UK is a UK based group of people interested in the
Scheme programming language in particular, and advanced
programming languages in general. We are interested in
both practical and theoretic aspects. We meet on the
first Wednesday of each month. Newcomers are welcome.
For more details see:
http://schematics.sourceforge.net/scheme-uk/
Email: noelwelsh <at> yahoo <dot> com noel <at> untyped <dot> com
AIM: noelhwelsh
Blogs: http://monospaced.blogspot.com/ http://www.untyped.com/untyping/
__________________________________________
Yahoo! DSL ? Something to write home about.
Just $16.99/mo. or less.
dsl.yahoo.com