4305 search results - page 273 / 861 » Analysing Protocol Implementations |
188
Voted
MMMACNS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Many design flaws and incorrect analyses of cryptographic protoAppeared in the Proceedings of the First International Workshop on Mathematical Methods, Models and Archit...
174
click to vote
CRYPTO
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents the first automatic technique for proving not only protocols but also primitives in the exact security computational model. Automatic proofs of cryptographic pr...
161
click to vote
ECIS
2001
15 years 8 months ago
2001
This paper reports on the evaluation of wireless Internet news sites using the WebQual/m instrument. From initial application in the domain of traditional Internet Web sites, the ...
169
click to vote
CONCUR
2010
Springer
15 years 7 months ago
2010
Springer
Many communication-centred systems today rely on asynchronous messaging among distributed peers to make efficient use of parallel execution and resource access. With such asynchron...
173
Voted
JAR
2008
15 years 6 months ago
2008
The spreading of multicast technology enables the development of group communication and so dealing with digital streams becomes more and more common over the Internet. Given the f...