361 search results - page 73 / 73 » Parallel Model Checking for Temporal Epistemic Logic |
FMCO
2003
Springer
13 years 10 months ago
2003
Springer
Web services security specifications are typically expressed as a mixture of XML schemas, example messages, and narrative explanations. We propose a new specification language fo...