5476 search results - page 951 / 1096 » Resettably Secure Computation |
157
click to vote
EDCC
2010
Springer
15 years 9 months ago
2010
Springer
—Assurance Based Development (ABD) is a novel approach to the synergistic construction of critical software systems and their assurance arguments. In ABD, the need for assurance ...
126
click to vote
HAIS
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Accurate and swift responses are crucial to Intrusion Detection Systems (IDSs), especially if automatic abortion mechanisms are running. In keeping with this idea, this w...
134
click to vote
COLCOM
2009
IEEE
15 years 9 months ago
2009
IEEE
The need for collaboration and information sharing has been recently growing dramatically with the convergence of outsourcing and offshoring, the increasing need to cut costs thro...
131
click to vote
PADL
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Programming with rewrite rules and strategies has been already used for describing several computational logics. This paper describes the way the Needham-Schroeder Public...
133
click to vote
RAID
2001
Springer
15 years 9 months ago
2001
Springer
ed Credential Chain Discovery in Trust Management - Extended Abstract............................... 35 N. Li, W. Winsborough, and J. Mitchell System Health and Intrusion Monitorin...