5475 search results - page 166 / 1095 » Model Driven Security |
131
click to vote
CASCON
2006
15 years 4 months ago
2006
Protocol tester is a project at RMC and Queen's that applies program transformation techniques to protocol data to evaluate the security of network applications. As part of t...
143
Voted
SCN
2008
Springer
15 years 3 months ago
2008
Springer
We present an implementation of the protocol of Lindell and Pinkas for secure two-party computation which is secure against malicious adversaries [13]. This is the first running sy...
103
click to vote
ACISP
2004
Springer
15 years 9 months ago
2004
Springer
The Canetti-Krawczyk (CK) model is useful for building reusable components that lead to rapid development of secure protocols, especially for engineers working outside of the secur...
92
Voted
ICIP
2007
IEEE
16 years 5 months ago
2007
IEEE
Finding the sparsest approximation of an image as a sum of basis functions drawn from a redundant dictionary is an NPhard problem. In the case of a dictionary whose elements form ...
130
Voted
WISE
2009
Springer
15 years 10 months ago
2009
Springer
Planning out maintenance tasks to increase the quality of Web applications can be difficult for a manager. First, it is hard to evaluate the precise effect of a task on quality. S...