5475 search results - page 373 / 1095 » Model Driven Security |
178
click to vote
SDMW
2009
Springer
16 years 1 months ago
2009
Springer
Provenance access control has been recognized as one of the most important components in an enterprise-level provenance system. However, it has only received little attention in th...
161
click to vote
ASIACRYPT
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. We consider scenarios in which two parties, each in possession of a graph, wish to compute some algorithm on their joint graph in a privacy-preserving manner, that is, wi...
206
click to vote
IPAW
2010
15 years 4 months ago
2010
Abstract. Scientists increasingly rely on workflow management systems to perform large-scale computational scientific experiments. These systems often collect provenance informatio...
164
click to vote
ACISP
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Digital signatures are often proven to be secure in the random oracle model while hash functions deviate more and more from this idealization. Liskov proposed to model a ...
203
click to vote
WETICE
2005
IEEE
16 years 10 days ago
2005
IEEE
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...