3504 search results - page 656 / 701 » Secure protocol composition |
109
Voted
ICWS
2009
IEEE
15 years 6 months ago
2009
IEEE
Mashup is a web technology that combines information from more than one source into a single web application. This technique provides a new platform for different data providers t...
ICC
2009
IEEE
15 years 4 months ago
2009
IEEE
—The ability of setting up a covert channel, which allows any two nodes with Internet connections to engage in secretive communication, clearly causes a very serious security con...
ICNS
2009
IEEE
15 years 4 months ago
2009
IEEE
—The majority of security protocols employ public key cryptography for authentication at least in the connection setup phase. However, verifying digital signatures is an expensiv...
LAWEB
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—The World Wide Web offers easy sharing of information, but provides only few options for the protection of sensitive information and other sensitive resources. Tradition...
102
Voted
TPHOL
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract. We consider a formalisation of a notion of observer (or intruder) theories, commonly used in symbolic analysis of security protocols. An observer theory describes the kno...