Skip to content

Verifying policy-based security for web services.

Karthikeyan Bhargavan, Cdric Fournet, Andrew D. Gordon

VenueA*CCS
Year2004
ProceedingsCCS

Browse the full CCS paper archive.