4340 search results - page 43 / 868 » Formal Methods and Cryptography |
ICFCA
2005
Springer
15 years 5 months ago
2005
Springer
ICFCA
2004
Springer
15 years 5 months ago
2004
Springer
CCS
2000
ACM
15 years 4 months ago
2000
ACM
We consider compositional properties of reactive systems that are secure in a cryptographic sense. We follow the wellknown simulatability approach, i.e., the specification is an ...
JUCS
2007
14 years 11 months ago
2007
: This paper outlines the emergence of formal techniques, explaining why they were slow to take on an industrially acceptable form. The contemporary scene, in which formal techniqu...