3115 search results - page 538 / 623 » Synthesizing Secure Protocols |
157
click to vote
CHES
2005
Springer
15 years 10 months ago
2005
Springer
Embedded devices implementing cryptographic services are the result of a trade-off between cost, performance and security. Aside from flaws in the protocols and the algorithms us...
155
click to vote
ESORICS
2005
Springer
15 years 10 months ago
2005
Springer
The freedom and transparency of information flow on the Internet has heightened concerns of privacy. Given a set of data items, clustering algorithms group similar items together...
125
click to vote
FC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Suppose Alice and Bob are two entities (e.g. agents, organizations, etc.) that wish to negotiate a contract. A contract consists of several clauses, and each party has ce...
116
click to vote
OTM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Between high-performance clusters and grids appears an intermediate infrastructure called cluster grid that corresponds to the interconnection of clusters through the Int...
110
click to vote
VIZSEC
2005
Springer
15 years 9 months ago
2005
Springer
We have designed an interactive visualization framework for the automated trust negotiation (ATN) protocol and we have implemented a prototype of the visualizer in Java. This fram...