4047 search results - page 548 / 810 » Algebraic Model Checking |
200
click to vote
CSFW
2005
IEEE
16 years 7 days ago
2005
IEEE
A number of key establishment protocols claim the property of forward secrecy, where the compromise of a longterm key does not result in the compromise of previously computed sess...
192
click to vote
CALCO
2005
Springer
16 years 5 days ago
2005
Springer
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...
202
click to vote
ICCS
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Complex tensor contraction expressions arise in accurate electronic structure models in quantum chemistry, such as the Coupled Cluster method. Transformations using algeb...
179
click to vote
SACRYPT
2005
Springer
16 years 3 days ago
2005
Springer
A vast amount of literature on stream ciphers is directed to the cryptanalysis of LFSR-based filters and combiners, resulting in various attack models such as distinguishing attac...
176
click to vote
SSD
2005
Springer
16 years 3 days ago
2005
Springer
Topological predicates are an important element of database systems that allow manipulation of spatial data. Based on the necessity for such systems to handle uncertainty, we intro...