3504 search results - page 138 / 701 » Secure protocol composition |
138
click to vote
IFIP11
2004
15 years 6 months ago
2004
: Software fixes, patches and updates are issued periodically to extend the functional life cycle of software products. In order to facilitate the prompt notification, delivery, an...
131
click to vote
JAMIA
2011
14 years 7 months ago
2011
Background Providers have been reluctant to disclose patient data for public-health purposes. Even if patient privacy is ensured, the desire to protect provider confidentiality h...
132
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
In this paper, we prove that type-tagging prevents type-flaw attacks on security protocols that use the Exclusive-OR operator as our main contribution. Our proof method is general ...
140
Voted
RTA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We consider the problem of deciding the security of cryptographic protocols for a bounded number of sessions, taking into account some algebraic properties of the securit...
143
Voted
ITRE
2005
IEEE
15 years 10 months ago
2005
IEEE
RSVP and RSVP-TE are signaling protocols used to set up paths and/or support Quality of Service (QoS) requirements in IP and MPLS-based networks, respectively. This paper analyzes...