3811 search results - page 205 / 763 » The Safe-Tcl Security Model |
195
click to vote
ESORICS
2012
Springer
13 years 9 months ago
2012
Springer
In certain applications, it is important for a remote server to securely determine whether or not two mobile devices are in close physical proximity. In particular, in the context ...
195
click to vote
COMPSEC
2010
15 years 6 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...
219
click to vote
TRUSTBUS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Synthetic data plays an important role in software testing. In this paper, we initiate the study of synthetic data generation models for the purpose of application softwa...
192
click to vote
AGENTS
1999
Springer
15 years 11 months ago
1999
Springer
This paper discusses improving the methodology introduced in Kushmerick’s paper about learning to remove internet advertisements. The aim is to reduce the model build time as we...
163
click to vote
INFOCOM
2005
IEEE
16 years 4 days 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...