3811 search results - page 433 / 763 » The Safe-Tcl Security Model |
156
click to vote
PKC
2010
Springer
15 years 8 months ago
2010
Springer
We revisit the problem of constructing efficient secure two-party protocols for the problems of setintersection and set-union, focusing on the model of malicious parties. Our main...
278
click to vote
AISM
2004
15 years 8 months ago
2004
Electronic communications have become the most important kind of communications in business. However, trust, privacy and security have become the great challenges for business and...
174
click to vote
IPL
2006
15 years 6 months ago
2006
We present complexity results for the verification of security protocols. Since the perfect cryptography assumption is unrealistic for cryptographic primitives with visible algebr...
191
Voted
JSW
2008
15 years 6 months ago
2008
A notion of open bisimulation is proposed for the Applied Pi Calculus, which extends -calculus in order to facilitate analyzing security protocols. Our notion is based on the label...
171
click to vote
VLDB
1998
ACM
15 years 11 months ago
1998
ACM
The design of secure buffer managers for database systems supporting real-time applications with firm deadlines is studied here. We first identify the design challenges and then p...