[cap-talk] new papers

[Fred Spiessens]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Hi all,

We finished two new papers this weekend:

"A Practical Formal Model for Safety Analysis in Capability-Based 
Systems"
is available at:
http://www.info.ucl.ac.be/people/fsp/tgc/tgc05fs.pdf
(to be published in the TGC'05 workshop proceedings)

"Using Constraints to Analyze and Generate Safe Capability Patterns"
is available at:
http://www.info.ucl.ac.be/people/fsp/cpsec/cpsec05.pdf
(submitted to the CPSec'05 workshop)

cheers,
Fred.


- -----------------
Fred Spiessens
Researcher Software Security
Université catholique de Louvain
Louvain-la-Neuve
Belgium
fsp at info.ucl.ac.be
http://www.info.ucl.ac.be/people/fsp/fred.html
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.6 (Darwin)

iD8DBQFCySR0jNnMVxj17BoRArXIAJ4z8UNTwouKaUP7Kc9ShZxWCjq7WwCeP4vX
682dPDvMLG6yadXW5lKEFUY=
=ASPd
-----END PGP SIGNATURE-----