5475 search results - page 46 / 1095 » Model Driven Security |
135
Voted
CRISIS
2009
15 years 1 months ago
2009
The major contribution of this paper is the
ISSE
2010
14 years 11 months ago
2010
89
Voted
PAISI
2010
Springer
14 years 11 months ago
2010
Springer
100
click to vote
CRYPTO
2012
Springer
13 years 3 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...
CAV
2010
Springer
15 years 4 months ago
2010
Springer
elor Thesis: Demand Driven Abstraction Refinement • Advisor: Dr. Andrey Rybalchenko Kendriya Vidyalaya ONGC, Dehradun, Uttaranchal INDIA All India Senior Secondary Examination, ...