33 search results - page 7 / 7 » Reasoning with Past to Prove PKCS |
SISW
2003
IEEE
13 years 9 months ago
2003
IEEE
— Smart cards are widely known for their tamper resistance, but only contain a small amount of memory. Though very small, this memory often contains highly valuable information (...
DBPL
1993
Springer
13 years 8 months ago
1993
Springer
This paper presents database applications of the recently proposed Transaction Logic—an extension of classical predicate logic that accounts in a clean and declarative fashion f...
BMCBI
2010
13 years 4 months ago
2010
Background: The reconstruction of protein complexes from the physical interactome of organisms serves as a building block towards understanding the higher level organization of th...