1627 search results - page 84 / 326 » High Security Smartcards |
146
click to vote
ICMLA
2003
15 years 5 months ago
2003
— Using the 1998 DARPA BSM data set collected at MIT’s Lincoln Labs to study intrusion detection systems, the performance of robust support vector machines (RVSMs) was compared...
128
click to vote
PST
2004
15 years 5 months ago
2004
The paper reports on ongoing research into the development of a management system to co-ordinate a set of activities of a virtual organisation for the production of chemicals. The...
146
click to vote
ISICT
2003
15 years 5 months ago
2003
: Formal verification provides a rigid and thorough means of evaluating the correctness of cryptographic protocols so that even subtle defects can be identified. As the application...
173
click to vote
GLOBECOM
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper proposes and specifies a protocol for distributing and managing group keys in ad hoc environments, which applies for the Secure Optimized Link State Routing Protocol. Ou...
106
click to vote
CTRSA
2009
Springer
15 years 11 months ago
2009
Springer
We introduce the first universally anonymous, thus key-private, IBE whose security is based on the standard quadratic residuosity assumption. Our scheme is a variant of Cocks IBE...