70 search results - page 7 / 14 » A Framework for Verifying Data-Centric Protocols |
AAMAS
2006
Springer
14 years 9 months ago
2006
Springer
File Integrity Analyzers serve as a component of an Intrusion Detection environment by performing filesystem inspections to verify the content of security-critical files in order ...
105
click to vote
ICNP
2006
IEEE
15 years 3 months ago
2006
IEEE
— Peer-to-peer (P2P) systems have been widely used for exchange of voluminous information and resources among thousands or even millions of users. Since shared data are normally ...
P2P
2008
IEEE
15 years 3 months ago
2008
IEEE
The rapid proliferation of Internet and related technologies has created tremendous possibilities for the interoperability between domains in distributed environments. Interoperab...
BIRTHDAY
2006
Springer
15 years 1 months ago
2006
Springer
The paper presents an approach to reasoning about Web services in a temporal action theory. Web services are described by specifying their interaction protocols in an action theory...
JSAC
2011
14 years 4 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...