4340 search results - page 112 / 868 » Formal Methods and Cryptography |
115
click to vote
ESORICS
2004
Springer
15 years 9 months ago
2004
Springer
The use of formal methods to verify security protocols with respect to secrecy and authentication has become standard practice. In contrast, the formalization of other security goa...
114
click to vote
CONCUR
1999
Springer
15 years 8 months ago
1999
Springer
This paper discusses the use of formal methods in testing of concurrent systems. It is argued that formal methods and testing can be mutually profitable and useful. A framework fo...
108
click to vote
EKAW
2006
Springer
15 years 7 months ago
2006
Springer
Guidelines (Extended abstract) Ruud Stegers1 , Annette ten Teije1 , and Frank van Harmelen1 Vrije Universiteit, Amsterdam The main problem encountered when starting verification of...
101
click to vote
INFORMATICALT
2000
15 years 3 months ago
2000
This paper discusses a known-plaintext attack on a redundancy reducing cipher method which is proposed by Wayner. We also propose an extension of Wayner's redundancy reducing ...
116
click to vote
WWW
2004
ACM
16 years 4 months ago
2004
ACM
We present a method for representing and reasoning with uncertainty in RDF(S) and OWL ontologies based on Bayesian networks. Categories and Subject Descriptors: I.2.4 Artificial I...