4340 search results - page 85 / 868 » Formal Methods and Cryptography |
171
click to vote
AAMAS
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we overview one specific approach to the formal development of multi-agent systems. This approach is based on the use of temporal logics to represent both the behavio...
166
click to vote
FSE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. A simple one-way function along with its proposed application in symmetric cryptography is described. The function is computable with three elementary operations on permu...
167
click to vote
FM
1994
Springer
15 years 10 months ago
1994
Springer
Rules are presented for efficiently adding real-time requirements to existing functional program refinements.
172
click to vote
CHES
2009
Springer
16 years 6 months ago
2009
Springer
Random delays are a countermeasure against a range of side channel and fault attacks that is often implemented in embedded software. We propose a new method for generation of rando...