5255 search results - page 53 / 1051 » Formal Methods for Privacy |
ICFCA
2005
Springer
14 years 3 months ago
2005
Springer
ICFCA
2004
Springer
14 years 3 months ago
2004
Springer
AGTIVE
2003
Springer
14 years 3 months ago
2003
Springer
CSFW
2002
IEEE
14 years 3 months ago
2002
IEEE
We formalize aspects of the Kerberos 5 authentication protocol in the Multi-Set Rewriting formalism (MSR) on two levels of detail. The more detailed formalization reflects the in...
JUCS
2007
13 years 10 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...