550 search results - page 67 / 110 » A lightweight approach to state based security testing |
100
click to vote
MA
1997
Springer
15 years 1 months ago
1997
Springer
This paper presents a mobile agent approach that aims at satisfying the following requirements of open Internet-based electronic service markets: the mobile agent system should be...
ICCV
2007
IEEE
15 years 11 months ago
2007
IEEE
We present a probabilistic multi-cue tracking approach constructed by employing a novel randomized template tracker and a constant color model based particle filter. Our approach ...
CSFW
1999
IEEE
15 years 2 months ago
1999
IEEE
Most formal approaches to security protocol analysis are based on a set of assumptions commonly referred to as the "Dolev-Yao model." In this paper, we use a multiset re...
ESANN
2006
14 years 11 months ago
2006
Spatial filtering is a widely used dimension reduction method in electroencephalogram based brain-computer interface systems. In this paper a new algorithm is proposed, which learn...
ICIAR
2010
Springer
15 years 2 months ago
2010
Springer
Two-factor authentication has been introduced in order to enhance security in authentication systems. Different factors have been introduced, which are combined for means of contr...