3504 search results - page 529 / 701 » Secure protocol composition |
115
click to vote
SAINT
2006
IEEE
15 years 7 months ago
2006
IEEE
Publish/subscribe has emerged as an attractive communication paradigm for building Internet-wide distributed systems by decoupling message senders from receivers. So far most of t...
IMC
2004
ACM
15 years 7 months ago
2004
ACM
Malicious traffic from self-propagating worms and denialof-service attacks constantly threatens the everyday operation of Internet systems. Defending networks from these threats d...
116
click to vote
ESORICS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Enterprise privacy enforcement allows enterprises to internally enforce a privacy policy that the enterprise has decided to comply to. To facilitate the compliance with d...
127
click to vote
CCS
2009
ACM
15 years 5 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
108
click to vote
JSS
2008
15 years 1 months ago
2008
Service-based systems are distributed computing systems with the major advantage of enabling rapid composition of distributed applications, such as collaborative research and deve...