1679 search results - page 175 / 336 » Security Properties and CSP |
161
click to vote
CTRSA
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. We report on the experiments we performed in order to assess the security of SHA-1 against the attack by Chabaud and Joux [5]. We present some ideas for optimizations of ...
152
click to vote
ISI
2004
Springer
15 years 12 months ago
2004
Springer
We describe models and efficient algorithms for detecting groups (communities) functioning in communication networks which attempt to hide their functionality – hidden groups. O...
125
click to vote
GECCO
2003
Springer
15 years 11 months ago
2003
Springer
This paper investigates whether optimisation techniques can be used to evolve artifacts of cryptographic significance which are apparently secure, but which have hidden properties...
207
click to vote
ASIAN
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Clever algorithm design is sometimes superseded by simple encodings into logic. We apply this motto to a few case studies in the formal verification of security propertie...
169
click to vote
FAC
2008
15 years 6 months ago
2008
This paper describes how the communication protocol of Mondex electronic purses can be specified and verified against desired security properties. The specification is developed by...