1477 search results - page 66 / 296 » Token flow control |
111
Voted
COMPSAC
2003
IEEE
15 years 6 months ago
2003
IEEE
Effectiveness of testing criteria is the ability to detect failures in a software program. We consider not only effectiveness of some testing criterion in itself but a variance of...
63
Voted
DFT
2003
IEEE
15 years 6 months ago
2003
IEEE
Over the last years, an increasing number of safety-critical tasks have been demanded to computer systems. In this paper, a software-based approach for developing safety-critical
82
Voted
FTDCS
2003
IEEE
15 years 6 months ago
2003
IEEE
80
Voted
IOLTS
2003
IEEE
15 years 6 months ago
2003
IEEE
106
Voted
ESORICS
2003
Springer
15 years 6 months ago
2003
Springer
In this paper, we describe a novel approach to policy-based intrusion detection. The model we propose checks legality of information flows between objects in the system, according...