3811 search results - page 9 / 763 » The Safe-Tcl Security Model |
ISSE
2010
14 years 10 months ago
2010
PAISI
2010
Springer
14 years 10 months ago
2010
Springer
CRYPTO
2012
Springer
13 years 2 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...
SICHERHEIT
2010
14 years 9 months ago
2010
: Threat Modeling erm
114
click to vote
CCS
2009
ACM
16 years 11 days 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...