53 search results - page 2 / 11 » XML Rewriting Attacks: Existing Solutions and their Limitati... |
CORR
2011
Springer
12 years 8 months ago
2011
Springer
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descripti...
WWW
2008
ACM
14 years 5 months ago
2008
ACM
Because of the high volume and unpredictable arrival rate, stream processing systems may not always be able to keep up with the input data streams-- resulting in buffer overflow a...
COLCOM
2008
IEEE
13 years 11 months ago
2008
IEEE
Nowadays, increasing needs for information sharing arise due to extensive collaborations among organizations. Organizations desire to provide data access to their collaborators whi...
WETICE
2009
IEEE
13 years 11 months ago
2009
IEEE
Peer sampling – the capability of obtaining a random sample from a large population of peers – is a basic building block for the gossip paradigm. Current peer sampling service...
LPAR
2007
Springer
13 years 11 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 ...