176 search results - page 13 / 36 » Abstraction and Refinement in Protocol Derivation |
137
click to vote
ESWS
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Relational databases are valuable sources for ontology learning. Methods and tools have been proposed to generate ontologies from such structured input. However, a major ...
146
click to vote
JCP
2007
15 years 5 months ago
2007
Abstract— Converting a secure group key agreement protocol into password-based setting is not a trivial task. The security of a password-based scheme hinges on preventing diction...
157
click to vote
ICCAD
2000
IEEE
15 years 10 months ago
2000
IEEE
— Memory is one of the most important components to be optimized in the several phases of the synthesis process. ioral synthesis, a memory is viewed as an abstract construct whic...
194
click to vote
CTRSA
2010
Springer
16 years 25 days ago
2010
Springer
Abstract. The TLS and SSL protocols are widely used to ensure secure communication over an untrusted network. Therein, a client and server first engage in the so-called handshake ...
149
click to vote
ESORICS
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Key exchange protocols in the setting of universal composability are investigated. First we show that the ideal functionality FKE of [9] cannot be realized in the presenc...