4305 search results - page 553 / 861 » Analysing Protocol Implementations |
143
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
130
Voted
CCR
2006
15 years 5 months ago
2006
Releasing network measurement data--including packet traces-to the research community is a virtuous activity that promotes solid research. However, in practice, releasing anonymiz...
129
click to vote
CORR
2006
Springer
15 years 5 months ago
2006
Springer
Let G1 be a cyclic multiplicative group of order n. It is known that the Diffie-Hellman problem is random self-reducible in G1 with respect to a fixed generator g if (n) is known....
142
click to vote
IJWIN
2008
15 years 4 months ago
2008
Abstract. With the 802.11 WLAN multimedia applications (Video, Audio, realtime voice over IP,...) increasing, providing Quality of Service (QoS) support becomes very important sinc...
131
Voted
INFSOF
2006
15 years 4 months ago
2006
In this paper we propose a novel architecture and approach to provide accountability for Web communities that require a high-level of privacy. A two-layered privacy protection arc...