2153 search results - page 312 / 431 » From Requirements Models to Formal Specifications in B |
155
click to vote
ICALP
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In this paper we attempt to formally study two very intuitive physical models: sealed envelopes and locked boxes, often used as illustrations for common cryptographic ope...
149
click to vote
HYBRID
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
164
click to vote
TCC
2005
Springer
15 years 11 months ago
2005
Springer
Definition of security under the framework of Environmental Security (a.k.a Network-Aware Security or Universally Composable Security) typically requires “extractability” of t...
143
click to vote
ISLPED
2003
ACM
15 years 11 months ago
2003
ACM
High performance processors use checkpointing to rapidly recover from branch mispredictions and possibly other exceptions. We demonstrate that conventional checkpointing becomes u...
145
click to vote
SASO
2009
IEEE
16 years 1 months ago
2009
IEEE
Geographically embedded processes with hidden origins are often observable in events they generate. It is common practice in criminological forensics to reverse simple equation-ba...