6555 search results - page 621 / 1311 » Secure attribute-based systems |
186
click to vote
ACSAC
2001
IEEE
15 years 11 months ago
2001
IEEE
It is a well-known problem that intrusion detection systems overload their human operators by triggering thousands of alarms per day. As a matter of fact, we have been asked by on...
174
Voted
AGENTS
2000
Springer
15 years 11 months ago
2000
Springer
A crowd is not only a group of many individuals. Crowd modelling involves problems that arise only when we focus on crowds. For instance, avoiding collision problems related to a ...
211
click to vote
CSFW
1995
IEEE
15 years 10 months ago
1995
IEEE
We discuss the issues involved in modelling and verifying key-exchange protocols within the framework of CSP and its model-checking tool FDR. Expressing such protocols within a pr...
211
Voted
BIOSIG
2008
15 years 8 months ago
2008
Abstract: Biometric authentication is often considered to enhance identity verification. The use of biometrics also introduces new challenges to protect the privacy of the subjects...
183
click to vote
IASTEDSEA
2004
15 years 8 months ago
2004
Design by Contract is a design methodology that promotes software reliability and reusability by requiring each component module to have a well-specified interface and leaves a mo...