14824 search results - page 262 / 2965 » Security - Introduction |
224
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...
164
click to vote
HAIS
2008
Springer
15 years 7 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...
