406 search results - page 22 / 82 » PASSing the provenance challenge |
PROVSEC
2009
Springer
15 years 4 months ago
2009
Springer
This paper explains how to design fully secure RSA-type cryptosystems from schemes only secure against passive attacks, in the standard model. We rely on instance-independence assu...
78
Voted
SEMCO
2008
IEEE
15 years 4 months ago
2008
IEEE
While semantic search technologies have been proven to work well in specific domains, they still have to confront two main challenges to scale up to the Web in its entirety. In th...
AGILEDC
2007
IEEE
15 years 4 months ago
2007
IEEE
This report outlines the experiences of the Microsoft Visual Studio Tools for Office product unit (hereafter referred to as “product unit”) as it applied agile principles and ...
ECBS
2007
IEEE
15 years 4 months ago
2007
IEEE
There is an ever increasing concern about security threats as embedded systems are moving towards networked applications. Model based approaches have proven to be effective techni...
TPHOL
2007
IEEE
15 years 3 months ago
2007
IEEE
Abstract. In this proof pearl, we demonstrate the power of higherorder encodings in the logical framework Twelf[PS99] by investigating proofs about an algorithmic specification of...