741 search results - page 29 / 149 » Verification of security protocols using LOTOS-method and ap... |
104
click to vote
SEC
2004
15 years 5 months ago
2004
: Secure Socket Layer (SSL) has functional limitations that prevent end-to-end security in the presence of untrusted intermediary application proxies used by clients to communicate...
126
click to vote
JUCS
2007
15 years 3 months ago
2007
: Payment systems need to address a number of security issues in order to be an effective and secure means of transferring payments across the Internet. To be accessible to a wider...
ICB
2007
Springer
15 years 10 months ago
2007
Springer
We use grip pattern based biometrics as a secure side channel to achieve pre-authentication in a protocol that sets up a secure channel between two hand held devices. The protocol ...
141
click to vote
COMPSAC
2011
IEEE
14 years 3 months ago
2011
IEEE
—Secure Computation (SC) enables secure distributed computation of arbitrary functions of private inputs. It has many useful applications, e.g. benchmarking or auctions. Several ...
125
click to vote
PACT
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We use an enhanced operational semantics to infer quantitative measures on systems describing cryptographic protocols. System transitions carry enhanced labels. We assign...