79 search results - page 11 / 16 » Theory and Techniques for Automatic Generation of Vulnerabil... |
MM
2010
ACM
13 years 8 months ago
2010
ACM
Manual generation of a book inventory is time-consuming and tedious, while deployment of barcode and radio-frequency identification (RFID) management systems is costly and afforda...
CJ
2006
13 years 8 months ago
2006
Anonymous channels or similar techniques that can achieve sender's anonymity play important roles in many applications. However, they will be meaningless if cryptographic prim...
BIRTHDAY
2007
Springer
14 years 17 days ago
2007
Springer
We present a verification methodology for cooperating traffic agents covering analysis of cooperation strategies, realization of strategies through control, and implementation of c...
VMCAI
2009
Springer
14 years 3 months ago
2009
Springer
A new approach based on constraint solving techniques was recently proposed for verification of hybrid systems. This approach works by searching for inductive invariants of a give...
KBSE
1999
IEEE
14 years 25 days ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...