208 search results - page 41 / 42 » Automated Security Protocol Analysis With the AVISPA Tool |
EUROSYS
2010
ACM
15 years 6 months ago
2010
ACM
This paper presents a technique that helps automate the reverse engineering of device drivers. It takes a closed-source binary driver, automatically reverse engineers the driverā...
100
click to vote
FMCAD
2008
Springer
14 years 11 months ago
2008
Springer
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...
SOUPS
2009
ACM
15 years 4 months ago
2009
ACM
Existing technologies for ļ¬le sharing differ widely in the granularity of control they give users over who can access their data; achieving ļ¬ner-grained control generally requ...
109
click to vote
JAR
2000
14 years 9 months ago
2000
Cryptographic algorithms play a key role in computer security and the formal analysis of their robustness is of utmost importance. Yet, logic and automated reasoning tools are seld...
CSREASAM
2008
14 years 11 months ago
2008
: Children's privacy has become critical with the increasing use of the Internet for commercial purposes and corresponding increase in requests for information. 65% of childre...