2687 search results - page 358 / 538 » Formal Analysis of PKCS |
182
click to vote
FROCOS
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
175
click to vote
GECCO
2007
Springer
16 years 21 days ago
2007
Springer
Geometric particle swarm optimization (GPSO) is a recently introduced formal generalization of traditional particle swarm optimization (PSO) that applies naturally to both continu...
148
click to vote
TACAS
2007
Springer
16 years 19 days ago
2007
Springer
Reasoning about heap-allocated data structures such as linked lists and arrays is challenging. The reachability predicate has proved to be useful for reasoning about the heap in ty...
157
click to vote
ANSS
2006
IEEE
16 years 18 days ago
2006
IEEE
Selecting the right numerical solver or the most appropriate numerical package for a particular simulation problem it is increasingly difficult for users without an extensive math...
184
click to vote
ICDCSW
2006
IEEE
16 years 17 days ago
2006
IEEE
Channel allocation has been extensively studied in the framework of cellular networks, but the emergence of new system concepts, such as cognitive radio systems, bring this topic ...