3811 search results - page 9 / 763 » The Safe-Tcl Security Model |
77
Voted
ISSE
2010
15 years 10 days ago
2010
100
Voted
PAISI
2010
Springer
15 years 9 days ago
2010
Springer
107
Voted
CRYPTO
2012
Springer
13 years 4 months ago
2012
Springer
We develop a new methodology for utilizing the prior techniques to prove selective security for functional encryption systems as a direct ingredient in devising proofs of full sec...
130
click to vote
CCS
2009
ACM
16 years 2 months ago
2009
ACM
Unified and formal knowledge models of the information security domain are fundamental requirements for supporting and enhancing existing risk management approaches. This paper de...