3420 search results - page 197 / 684 » A Language-Based Approach to Security |
148
click to vote
ATAL
2011
Springer
14 years 4 months ago
2011
Springer
Building on research previously reported at AAMAS conferences, this paper describes an innovative application of a novel gametheoretic approach for a national scale security deplo...
139
click to vote
INFOCOM
2005
IEEE
15 years 10 months ago
2005
IEEE
— To proactively defend against intruders from readily jeopardizing single-path data sessions, we propose a distributed secure multipath solution to route data across multiple pa...
160
click to vote
TELECARE
2004
15 years 5 months ago
2004
Nowadays the scientific community is trying to design new techniques in the search for solving security problems in mobile agent technology. There are now some industry initiatives...
156
click to vote
COMPSEC
2010
15 years 4 months ago
2010
Model checking security protocols is based on an intruder model that represents the eavesdropping or interception of the exchanged messages, while at the same time performs attack...
149
click to vote
IJNSEC
2006
15 years 4 months ago
2006
On a wired network, physical authentication is implicitly provided by access: if a user is able to plug a cable into a network socket, he must have cleared other security checks s...