637 search results - page 64 / 128 » The Case for Abstracting Security Policies |
121
click to vote
FAC
2007
15 years 1 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
131
click to vote
EUROPKI
2005
Springer
15 years 7 months ago
2005
Springer
Abstract The expansion of inter-organizational scenarios based on different authorization schemes involves the development of integration solutions allowing different authorizatio...
104
click to vote
EUROCRYPT
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Physical computational devices leak side-channel information that may, and often does, reveal secret internal states. We present a general transformation that compiles an...
FODO
1989
Springer
15 years 6 months ago
1989
Springer
d Abstract) Michael Rabin Aiken Computation Laboratory Harvard University Cambridge, MA 02138 J. D. Tygar School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213...
132
click to vote
USENIX
2004
15 years 3 months ago
2004
The ubiquitous SSH package has demonstrated the importance of secure remote login and execution. As remote execution tools grow in popularity, users require new features and exten...