2687 search results - page 472 / 538 » Formal Analysis of PKCS |
156
click to vote
CNSR
2007
IEEE
15 years 7 months ago
2007
IEEE
Wireless sensor networks have mainly been designed for information-collecting purposes, such as habitat monitoring, product process tracing, battlefield surveillance, etc. In orde...
184
click to vote
ECBS
2007
IEEE
15 years 7 months ago
2007
IEEE
Intrusions impose tremendous threats to today’s computer hosts. Intrusions using security breaches to achieve unauthorized access or misuse of critical information can have cata...
150
click to vote
ECSA
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Architectural description languages are a useful tool for modmplex software systems at a high level of abstraction and, if based on formal methods, for enabling the early...
161
click to vote
EMSOFT
2008
Springer
15 years 7 months ago
2008
Springer
We focus on decomposition of hard-masking real-time faulttolerant programs (where safety, timing constraints, and liveness are preserved in the presence of faults) that are design...
150
click to vote
FSE
2008
Springer
15 years 7 months ago
2008
Springer
We propose SWIFFT, a collection of compression functions that are highly parallelizable and admit very efficient implementations on modern microprocessors. The main technique under...