4305 search results - page 450 / 861 » Analysing Protocol Implementations |
210
Voted
IEEESCC
2006
IEEE
16 years 1 months 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...
210
click to vote
ITNG
2006
IEEE
16 years 1 months 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 ...
202
Voted
MOBICOM
2006
ACM
16 years 1 months 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...
246
click to vote
AAAIDEA
2005
IEEE
16 years 1 months 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...
207
click to vote
CSFW
2005
IEEE
16 years 1 months 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...