525 search results - page 17 / 105 » Using Checkable Types in Automatic Protocol Analysis |
JUCS
2010
13 years 2 months ago
2010
: Assessing the quality of conceptual models is key to ensure that conceptual models can be used effectively as a basis for understanding, agreement and construction of information...
ACSAC
2004
IEEE
13 years 11 months ago
2004
IEEE
A common way to elude a signature-based NIDS is to transform an attack instance that the NIDS recognizes into another instance that it misses. For example, to avoid matching the a...
ASIACRYPT
2008
Springer
13 years 9 months ago
2008
Springer
We study the security of the widely deployed Secure Session Layer/Transport Layer Security (TLS) key agreement protocol. Our analysis identifies, justifies, and exploits the modul...
JAIR
2007
13 years 7 months ago
2007
It is well known that utterances convey a great deal of information about the speaker in addition to their semantic content. One such type of information consists of cues to the s...
ECCV
2004
Springer
14 years 1 months ago
2004
Springer
An automatic tool is developed to identify microbiological data types using computer-vision and statistical modeling techniques. In bacteriophage (phage) typing, representative pro...