4305 search results - page 450 / 861 » Analysing Protocol Implementations |
184
click to vote
IEEESCC
2006
IEEE
16 years 25 days ago
2006
IEEE
This paper introduces SOAR, a service-oriented architecture for the real-estate industry that embeds trust and security, allows for formal correctness proofs of service interactio...
183
click to vote
ITNG
2006
IEEE
16 years 24 days ago
2006
IEEE
Web services are key applications in business-to-business, business-to-customer, and enterprise applications integration solutions. As the mobile Internet becomes one of the main ...
182
click to vote
MOBICOM
2006
ACM
16 years 23 days ago
2006
ACM
Evaluating available bandwidth estimation methods requires a malleable MAC protocol implementation, precise MAC layer packet timing measurements, and the ability to create control...
217
click to vote
AAAIDEA
2005
IEEE
16 years 13 days ago
2005
IEEE
Voice over IP (VoIP) and Instant Messaging (IM) systems to date have either followed a client-server model or have required the use of clients that do not follow any VoIP or IM st...
187
click to vote
CSFW
2005
IEEE
16 years 13 days ago
2005
IEEE
We present the first cryptographically sound Dolev-Yaostyle security proof of a comprehensive electronic payment system. The payment system is a slightly simplified variant of t...