4340 search results - page 43 / 868 » Formal Methods and Cryptography |
101
Voted
ICFCA
2005
Springer
15 years 9 months ago
2005
Springer
134
Voted
AGTIVE
2003
Springer
15 years 8 months ago
2003
Springer
131
Voted
CCS
2000
ACM
15 years 7 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 ...
112
Voted
JUCS
2007
15 years 3 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...