752 search results - page 41 / 151 » Finite-State Modeling, Analysis and Testing of System Vulner... |
ACSW
2007
13 years 10 months ago
2007
Low latency anonymous network systems, such as Tor, were considered secure against timing attacks when the threat model does not include a global adversary. In this threat model t...
ECRTS
2007
IEEE
14 years 2 months ago
2007
IEEE
Feasibility analysis determines (prior to system execution-time) whether a specified collection of hard-realtime jobs executed on a processing platform can meet all deadlines. In...
WISTP
2009
Springer
14 years 3 months ago
2009
Springer
Since their publication in 1996, Fault Attacks have been widely studied from both theoretical and practical points of view and most of cryptographic systems have been shown vulnera...
SIGMETRICS
2006
ACM
14 years 2 months ago
2006
ACM
P2P systems are highly vulnerable to pollution attacks in which attackers inject multiple versions of corrupted content into the system, which is then further proliferated by unsu...
AMOST
2007
ACM
14 years 15 days ago
2007
ACM
We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. Th...