3082 search results - page 213 / 617 » Deviation Analysis: A New Use of Model Checking |
245
click to vote
FOSAD
2009
Springer
16 years 1 months ago
2009
Springer
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...
167
click to vote
CCGRID
2005
IEEE
16 years 3 days ago
2005
IEEE
Knowledge about the workload is an important aspect for scheduling of resources as parallel computers or Grid components. As the scheduling quality highly depends on the character...
192
click to vote
RAID
2010
Springer
15 years 4 months ago
2010
Springer
Dynamic kernel memory has been a popular target of recent kernel malware due to the difficulty of determining the status of volatile dynamic kernel objects. Some existing approach...
158
click to vote
CN
2006
15 years 6 months ago
2006
This paper concerns TCP Westwood, a recently developed modification of TCP, in combination with RED queue management. We develop a fluid-flow model of the protocol, and use it to s...
168
click to vote
ICDCS
2007
IEEE
16 years 24 days ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...