1106 search results - page 195 / 222 » Automated Design of Security Protocols |
OOPSLA
2009
Springer
14 years 2 months ago
2009
Springer
The traditional model transformation approach is to write transformation programs in a specialized language. Although such languages provide powerful capabilities to automate mode...
ICC
2007
IEEE
14 years 4 months ago
2007
IEEE
—Pervasive communications are increasingly sent over mobile devices and personal digital assistants. This trend has been observed during the last football world cup where cellula...
IPPS
2005
IEEE
14 years 3 months ago
2005
IEEE
— We describe the design and implementation of MOCCA, a distributed CCA framework implemented using the H2O metacomputing system. Motivated by the quest for appropriate metasyste...
ICDCIT
2005
Springer
14 years 3 months ago
2005
Springer
— Micro-payment systems have the potential to provide non-intrusive, high-volume and low-cost pay-asyou-use services for a wide variety of web-based applications. We proposed a n...
SIGCOMM
2006
ACM
14 years 3 months ago
2006
ACM
Peer-to-peer and other decentralized, distributed systems are known to be particularly vulnerable to sybil attacks. In a sybil attack, a malicious user obtains multiple fake ident...