307 search results - page 51 / 62 » Formalizing Communication Protocols for Multiagent Systems |
129
click to vote
ESORICS
2010
Springer
15 years 4 months ago
2010
Springer
We present a novel hybrid communication protocol that guarantees mobile users' k-anonymity against a wide-range of adversaries by exploiting the capability of handheld devices...
129
click to vote
CORR
2008
Springer
15 years 3 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...
153
click to vote
FORMATS
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We investigate layered composition for real-time systems modelled as (networks of) timed automata (TA). We first formulate the principles of layering and transition indep...
126
click to vote
ICDCS
2005
IEEE
15 years 8 months ago
2005
IEEE
— One of the most notable challenges threatening the successful deployment of sensor systems is privacy. Although many privacy-related issues can be addressed by security mechani...
117
click to vote
ENTCS
2007
15 years 3 months ago
2007
We define a logic EpCTL for reasoning about the evolution of probabilistic systems. System states correspond to probability distributions over classical states and the system evo...