3420 search results - page 140 / 684 » A Language-Based Approach to Security |
151
click to vote
DBSEC
2000
15 years 5 months ago
2000
With the increasing complexity and dynamics of database and information systems, it becomes more and more di cult for administrative personnel to identify, specify and enforce sec...
147
click to vote
P2P
2008
IEEE
15 years 10 months ago
2008
IEEE
We propose an efficient framework for enabling secure multi-party numerical computations in a Peer-to-Peer network. This problem arises in a range of applications such as collabo...
147
click to vote
BIRTHDAY
2012
Springer
13 years 11 months ago
2012
Springer
We propose a new countermeasure to protect block ciphers implemented in leaking devices, at the intersection between One-Time Programs and Boolean masking schemes. First, we show t...
159
click to vote
ISSRE
2010
IEEE
15 years 2 months ago
2010
IEEE
— With the increasing reliance of complex real-world applications on composite web services assembled from independently developed component services, there is a growing need for...
147
Voted
ACSD
2010
IEEE
15 years 2 months ago
2010
IEEE
We extend the partial order reduction algorithm of Clarke et al. [CJM00] to handle branching security protocols, such as optimistic fair exchange protocols. Applications of the pro...