1210 search results - page 205 / 242 » Secure Logic Synthesis |
121
Voted
INTENV
2010
14 years 9 months ago
2010
We explore a coherent combination of two jointly implemented logic programming based systems, namely those of Evolution Prospection and Intention Recognition, to address a number o...
176
Voted
JDCTA
2010
14 years 9 months ago
2010
In wireless ad hoc networks environment, Bellovin and Merritt first developed a password-based Encrypted Key Exchange (EKE) protocol against offline dictionary attacks using both ...
148
Voted
IPM
2002
15 years 2 months ago
2002
This paper proposes a new approach for classifying text documents into two disjoint classes. The new approach is based on extracting patterns, in the form of two logical expressio...
110
Voted
CADE
2008
Springer
16 years 3 months ago
2008
Springer
Confidentiality is maybe the most popular security property to be formally or informally verified. Noninterference is a baseline security policy to formalize confidentiality of sec...
145
Voted
CADE
2002
Springer
16 years 3 months ago
2002
Springer
Abstract. Proof-carrying code (PCC) allows a code producer to associate to a program a machine-checkable proof of its safety. In the original approach to PCC, the safety policy inc...