16 search results - page 1 / 4 » Really Rethinking 'Formal Methods' |
COMPUTER
2010
13 years 5 months ago
2010
DAC
2005
ACM
13 years 7 months ago
2005
ACM
DSN
2004
IEEE
13 years 9 months ago
2004
IEEE
A result checker is a program that checks the output of the computation of the observed program for correctness. Introduced originally by Blum, the result checking paradigm has pr...
FLAIRS
2000
13 years 6 months ago
2000
This paper presents a formal security policy model for SmartCards with digital signature application. This kind of model is necessary for each evaluation according to Information ...
ICDCS
2005
IEEE
13 years 11 months ago
2005
IEEE
TLS has been formally analyzed with the OTS/CafeOBJ method. In the method, distributed systems are modeled as transition systems, which are written in terms of equations, and it i...