14824 search results - page 2234 / 2965 » Security - Introduction |
187
click to vote
IFIP
2004
Springer
16 years 20 days ago
2004
Springer
Interactive access control allows a server to compute and communicate on the fly the missing credentials to a client and to adapt its responses on the basis of presented and decli...
191
click to vote
IFIP
2004
Springer
16 years 20 days ago
2004
Springer
The most studied property, secrecy, is not always sufficient to prove the security of a protocol. Other properties such as anonymity, privacy or opacity could be useful. Here, we u...
202
click to vote
IFIP
2004
Springer
16 years 20 days ago
2004
Springer
Dependent type systems are promising tools programmers can use to increase the reliability and security of their programs. Unfortunately, dependently-typed programming languages re...
206
click to vote
ISCIS
2004
Springer
16 years 20 days ago
2004
Springer
Considering wireless sensor networks for border surveillance, one of the major concerns is sensing coverage. Breach probability can be used as a measure to analyze the tradeoffs a...
175
Voted
ISI
2004
Springer
16 years 20 days ago
2004
Springer
Abstract. We present protocols for distributed computation of relational intersections and equi-joins such that each site gains no information about the tuples at the other site th...