115 citations · 256 across the 13 of their papers we have counts for
1 paper · 2 filters
Karthikeyan Bhargavan, Cedric Fournet, Andrew D. Gordon +1
Web services security specifications are typically expressed as a mixture of XML schemas, example messages, and narrative explanations. We propose a new specification language for…