57 search results - page 5 / 12 » Middleware for Automated Implementation of Security Protocol... |
PDPTA
2004
14 years 11 months ago
2004
In this paper, we discuss reliable and secure file transfer middleware called NaradaBrokering. It is our goal to show that reliability features can be decoupled from the implementa...
ITNG
2006
IEEE
15 years 3 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 ...
CADE
2009
Springer
15 years 10 months ago
2009
Springer
In the symbolic analysis of security protocols, two classical notions of knowledge, deducibility and indistinguishability, yield corresponding decision problems. We propose a proce...
86
Voted
CSFW
2007
IEEE
15 years 3 months ago
2007
IEEE
mplementations for Typed Session Abstractions Ricardo Corin1,2,3 Pierre-Malo Deni´elou1,2 C´edric Fournet1,2 Karthikeyan Bhargavan1,2 James Leifer1 1 MSR-INRIA Joint Centre 2 Mic...
IPPS
2007
IEEE
15 years 3 months ago
2007
IEEE
We discuss real-world case studies involving the implementation of a web services middleware tier for the IBM Blue Gene/L supercomputer to support financial business applications...