447 search results - page 39 / 90 » Rule Languages for Security and Privacy in Cooperative Syste... |
234
click to vote
FOSAD
2009
Springer
16 years 20 days ago
2009
Springer
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...
182
click to vote
JSAC
2011
15 years 1 months ago
2011
Abstract—In this paper, we propose a distributed key management framework based on group signature to provision privacy in vehicular ad hoc networks (VANETs). Distributed key man...
144
click to vote
SPEECH
2010
15 years 25 days ago
2010
In this paper the nature and relevance of the information provided by intonation is discussed in the framework of second language learning. As a consequence, an automatic intonati...
136
click to vote
ISI
2004
Springer
15 years 11 months ago
2004
Springer
Counterterrorism and intelligence tasks rely on the efficient collection, analysis and dissemination of information. While information systems play a key role in such tasks, databa...
135
click to vote
CSFW
2000
IEEE
15 years 10 months ago
2000
IEEE
In this paper we present an improved logic for analysing authentication properties of cryptographic protocols, based on the SVO logic of Syverson and van Oorschot. Such logics are...