5475 search results - page 227 / 1095 » Model Driven Security |
149
click to vote
SEKE
2004
Springer
15 years 11 months ago
2004
Springer
As a security policy model evolves, the design of security systems using that model could become increasingly complicated. It is necessary to come up with an approach to guide the ...
156
click to vote
EUROCRYPT
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Known practical blind signature schemes whose security against adaptive and parallel attacks can be proven in the random oracle model either need five data exchanges bet...
132
click to vote
ASIACRYPT
1999
Springer
15 years 9 months ago
1999
Springer
Problems of secure communication and computation have been studied extensively in network models. Goldreich, Goldwasser, and Linial, Franklin and Yung, and Franklin and Wright have...
566
click to vote
CVPR
2012
IEEE
13 years 7 months ago
2012
IEEE
A novel approach for event summarization and rare event detection is proposed. Unlike conventional methods that deal with event summarization and rare event detection independently...
143
click to vote
CSFW
1999
IEEE
15 years 9 months ago
1999
IEEE
The combination of two security protocols, a simple shared-key communication protocol and the Di e-Hellman key distribution protocol, is modeled formally and proved correct. The m...