2687 search results - page 353 / 538 » Formal Analysis of PKCS |
282
click to vote
POPL
2006
ACM
16 years 6 months ago
2006
ACM
Traditional static type systems are very effective for verifying basic interface specifications, but are somewhat limited in the kinds specificationsthey support. Dynamically-chec...
165
click to vote
RECOMB
2005
Springer
16 years 6 months ago
2005
Springer
Abstract. There is widespread interest in comparative genomics in determining if historically and/or functionally related genes are spatially clustered in the genome, and whether t...
272
click to vote
SIGMOD
2009
ACM
16 years 6 months ago
2009
ACM
Fundamental to data cleaning is the need to account for multiple data representations. We propose a formal framework that can be used to reason about and manipulate data represent...
177
click to vote
EDBT
2006
ACM
16 years 6 months ago
2006
ACM
Incomplete databases, that is, databases that are missing data, are present in many research domains. It is important to derive techniques to access these databases efficiently. We...
191
click to vote
PERCOM
2007
ACM
16 years 6 months ago
2007
ACM
Group Key Agreement (GKA) protocols enable the participants to derive a key based on each one's contribution over a public network without any central authority. They also pr...