5084 search results - page 769 / 1017 » Proving Possibility Properties |
163
click to vote
ICDT
2007
ACM
16 years 24 days ago
2007
ACM
Close relationships between XML navigation and temporal logics have been discovered recently, in particular between logics LTL and CTL⋆ and XPath navigation, and between the µ-c...
138
click to vote
ICICS
2007
Springer
16 years 24 days ago
2007
Springer
Autonomous spreading malware in the form of worms or bots has become a severe threat in today’s Internet. Collecting the sample as early as possible is a necessary precondition f...
152
click to vote
ISSAC
2007
Springer
16 years 23 days ago
2007
Springer
Given a lattice basis of n vectors in Zn, we propose an algorithm using 12n3 + O(n2) floating point operations for checking whether the basis is LLL-reduced. If the basis is redu...
181
click to vote
ISSAC
2007
Springer
16 years 23 days ago
2007
Springer
The parallelization of two applications in symmetric cryptography is considered: block ciphering and a new method based on random sampling for the selection of basic substitution ...
142
click to vote
ISW
2007
Springer
16 years 23 days ago
2007
Springer
ElGamal scheme has been the first encryption scheme based on discrete logarithm. One of its main advantage is that it is simple, natural and efficient, but also that its security ...