26 search results - page 6 / 6 » Detecting Duplicates in Complex XML Data |
LPAR
2007
Springer
13 years 10 months ago
2007
Springer
Many analysis techniques and decidability results have been obtained for cryptographic protocols. However all of them consider protocols with limited procedures for the processing ...