860 search results - page 98 / 172 » Completeness in two-party secure computation: a computationa... |
286
click to vote
POPL
2004
ACM
16 years 6 months ago
2004
ACM
We define seal, an untyped call-by-value -calculus with primitives for protecting abstract data by sealing, and develop a bisimulation proof method that is sound and complete with...
193
click to vote
IPOM
2009
Springer
16 years 25 days ago
2009
Springer
Abstract. Flow-based intrusion detection has recently become a promising security mechanism in high speed networks (1-10 Gbps). Despite the richness in contributions in this field...
142
click to vote
ICNS
2008
IEEE
16 years 21 days ago
2008
IEEE
Digital storage demand is growing with the increasing use of digital artifacts from media files to business documents. Regulatory frameworks ask for unaltered, durable storage of...
177
click to vote
OOPSLA
2007
Springer
16 years 12 days ago
2007
Springer
Schematic tables are a new representation for conditionals. Roughly a cross between decision tables and data flow graphs, they represent computation and decision-making orthogona...
153
click to vote
ECIS
2000
15 years 7 months ago
2000
As electronic commerce will increase, players will increasingly wish to have signed documents and strong encryption. According to current knowledge, it must be expected that the co...