1562 search results - page 154 / 313 » Convenience Over Correctness |
CCS
2010
ACM
13 years 7 months ago
2010
ACM
We propose a development method for security protocols based on stepwise refinement. Our refinement strategy guides sformation of abstract security goals into protocols that are s...
DMS
2010
13 years 7 months ago
2010
In-lined Reference Monitoring frameworks are an emerging technology for enforcing security policies over untrusted, mobile, binary code. However, formulating correct policy specifi...
FPL
2010
Springer
13 years 7 months ago
2010
Springer
Abstract--Most current square root implementations for FPGAs use a digit recurrence algorithm which is well suited to their LUT structure. However, recent computing-oriented FPGAs ...
SOFSEM
2010
Springer
13 years 7 months ago
2010
Springer
We present a tutorial on verification of safety properties for parameterized systems. Such a system consists of an arbitrary number of processes; the aim is to prove correctness of...
IGARSS
2009
13 years 7 months ago
2009
The paper presents a general framework for change detection in radar images, for an operational purpose and in the context of environmental monitoring. This framework is based on ...