Project
Samoa: Formal Tools for Securing Web Services
An XML web service is, to a first approximation, a wide-area RPC service in which requests and responses are encoded in XML as SOAP envelopes, and transported over HTTP. Applications exist on the internet (for…
Publication
Block-Level Security for Network-Attached Disks
Publication
A Secure Signature Scheme from Bilinear Maps
Publication
Access Control based on Execution History
Publication