5255 search results - page 192 / 1051 » Formal Methods for Privacy |
164
Voted
JOC
2007
15 years 3 months ago
2007
Signcryption is a public key or asymmetric cryptographic method that provides simultaneously both message confidentiality and unforgeability at a lower computational and communica...
120
click to vote
IJCAI
1993
15 years 5 months ago
1993
A student model description language and its synthesis method are presented. The language called SMDL is based on a logic programming language taking 4 truth values such as true, ...
119
Voted
ICASSP
2010
IEEE
15 years 3 months ago
2010
IEEE
The major contribution of this paper is the presentation of a general unifying description of distributed algorithms allowing to map local, node-based, algorithms onto a single gl...
117
Voted
OOPSLA
2004
Springer
15 years 9 months ago
2004
Springer
Many techniques have been developed over the years to automatically find bugs in software. Often, these techniques rely on formal methods and sophisticated program analysis. Whil...
123
Voted
AAAI
1998
15 years 5 months ago
1998
In this paper, we develop a formal methodology for verifying situated agents. The methodology consists of two elements, a specification language for specifying the agent capabilit...