2514 search results - page 66 / 503 » The use of industrial-strength formal methods |
172
click to vote
ISOLA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper presents a formal analysis of the device discovery phase of the Bluetooth wireless communication protocol. The performance of this process is the result of a c...
161
click to vote
CARDIS
1998
Springer
15 years 10 months ago
1998
Springer
: The new Gemplus smart card is based on the Java technology, embedding a virtual machine. The security policy uses mechanisms that are based on Java properties. This language prov...
143
click to vote
IJCAI
1993
15 years 7 months ago
1993
These notes discuss formalizing contexts as first class objects. The basic relation is ist(c, p). It asserts that the proposition p is true in the context c. The most important f...
163
click to vote
ENTCS
2007
15 years 6 months ago
2007
Many modern program verifiers translate the program to be verified and its specification into a simple intermediate representation and then compute verification conditions on ...
160
click to vote
JCS
2006
15 years 6 months ago
2006
Abstract: Cryptographic protocols are successfully analyzed using formal methods. However, formal approaches usually consider the encryption schemes as black boxes and assume that ...