2687 search results - page 73 / 538 » Formal Analysis of PKCS |
149
Voted
CSFW
1999
IEEE
15 years 8 months ago
1999
IEEE
Most formal approaches to security protocol analysis are based on a set of assumptions commonly referred to as the "Dolev-Yao model." In this paper, we use a multiset re...
123
click to vote
ACSD
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper we show how to use labelled event structures as a unique mathematical representation for design models consisting of different UML 2.0 diagrams/notation. Each diagra...
140
Voted
FLAIRS
1998
15 years 5 months ago
1998
Edge detection is one of the most-studied problems in the field of computervision. However,there is no standard method of objectively and accurately evaluating the performance of ...
121
Voted
ACL
1989
15 years 4 months ago
1989
We present an algorithm for generating strings from logical form encodings that improves upon previous algorithms in that it places fewer restrictions on the class of grammars to ...
142
Voted
CORR
1998
Springer
15 years 3 months ago
1998
Springer
This paper presents a multidimensional Dependency Grammar (DG), which decouples the dependency tree from word order, such that surface ordering is not determined by traversing the...