3387 search results - page 502 / 678 » Model-Checking for Real-Time Systems |
111
click to vote
CCS
2001
ACM
15 years 7 months ago
2001
ACM
Abstract. We describe a weakness in the High Bandwidth Digital Content Protection (HDCP) scheme which may lead to practical attacks. HDCP is a proposed identity-based cryptosystem ...
152
Voted
MAM
2007
2007
A distributed admission control system for MANET environments supporting multipath routing protocols
15 years 2 months ago
Multipath routing protocols have proved to be able to enhance the performance of MANET in terms of reliability, load balancing, multimedia streaming, security, etc. However, deplo...
107
click to vote
SAFECOMP
2009
Springer
15 years 9 months ago
2009
Springer
A key concern in safety engineering is understanding the overall emergent failure behaviour of a system, i.e., behaviour exhibited by the system that is outside its specification ...
108
Voted
FOSSACS
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...
85
Voted
ISSTA
2006
ACM
15 years 8 months ago
2006
ACM
Finite-state verification techniques are often hampered by the stateexplosion problem. One proposed approach for addressing this problem is assume-guarantee reasoning. Using rece...