14850 search results - page 251 / 2970 » The Security of |
149
click to vote
ACISP
1998
Springer
15 years 11 months ago
1998
Springer
Recently J. and R.M. Campello de Souza proposed a private-key encryption scheme based on the product codes with the capability of correcting a special type of structured errors. In...
201
click to vote
ESORICS
2008
Springer
15 years 9 months ago
2008
Springer
Key agreement is a fundamental security functionality by which pairs of nodes agree on shared keys to be used for protecting their pairwise communications. In this work we study k...
242
click to vote
SAM
2004
15 years 8 months ago
2004
We propose a partial order reduction for model checking security protocols for the secrecy property. Based on this reduction we develop an automatic tool that can check security pr...
193
click to vote
HAIS
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents a multi-agent system for security control on industrial environments. The system uses a set of wireless technologies and software agents which integrate reasoni...
