4305 search results - page 273 / 861 » Analysing Protocol Implementations |
133
click to vote
MMMACNS
2001
Springer
15 years 7 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...
126
Voted
CRYPTO
2006
Springer
15 years 6 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...
111
click to vote
ECIS
2001
15 years 3 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 ...
120
Voted
CONCUR
2010
Springer
15 years 3 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...
120
click to vote
JAR
2008
15 years 2 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...