1413 search results - page 128 / 283 » ideas 2007 |
198
click to vote
FUIN
2007
15 years 6 months ago
2007
We present a resolution calculus for first-order logic using a more concise formalism for representing sets of clauses. The idea is to represent the clause set at hand as a Direct...
165
click to vote
FUIN
2007
15 years 6 months ago
2007
In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a session and ...
211
click to vote
IJCAT
2007
15 years 6 months ago
2007
: The term innovation resonates broadly in cyberspace, books and journals. A careful analysis of the vast open-source information indicates that the engineering literature on under...
164
click to vote
IJDE
2007
15 years 6 months ago
2007
Inconsistencies in various data structures, such as missing log records and modified operating system files, have long been used by intrusion investigators and forensic analysts a...
260
click to vote
IJISEC
2007
15 years 6 months ago
2007
The paper extends the idea of negative representations of information for enhancing privacy. Simply put, a set DB of data elements can be represented in terms of its complement set...