112 citations · 117 across the 3 of their papers we have counts for
1 paper · 1 filter
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…