1653 search results - page 130 / 331 » Timed analysis of security protocols |
114
Voted
WS
2004
ACM
15 years 8 months ago
2004
ACM
802.11i is an IEEE standard designed to provide enhanced MAC security in wireless networks. The authentication process involves three entities: the supplicant (wireless device), t...
148
click to vote
ICICS
2007
Springer
15 years 7 months ago
2007
Springer
Authentication is increasingly relevant to data management. Data is being outsourced to untrusted servers and clients want to securely update and query their data. For example, in ...
131
click to vote
ICLP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract In this doctoral work we aim at developing a rich timed concurrent constraint (tcc) based language with strong ties to logic. The new calculus called Universal Timed Concu...
128
click to vote
PKC
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Efficient secure time-stamping schemes employ a 2-level approach in which the time-stamping service operates in rounds. We say that a time-stamping service is accountable...
108
click to vote
ICDE
2007
IEEE
15 years 9 months ago
2007
IEEE
The search for unknown frequent pattern is one of the core activities in many time series data mining processes. In this paper we present an extension of the pattern discovery pro...