5475 search results - page 800 / 1095 » Model Driven Security |
141
click to vote
WAIM
2010
Springer
15 years 4 months ago
2010
Springer
We used to treating information received (from recognized sources) as trustworthy, which is unfortunately not true because of attacks. The situation can get worse with the emerging...
182
click to vote
DMS
2010
15 years 4 months ago
2010
In-lined Reference Monitoring frameworks are an emerging technology for enforcing security policies over untrusted, mobile, binary code. However, formulating correct policy specifi...
222
click to vote
BIOSIG
2009
15 years 4 months ago
2009
: In ACISP'07, Bringer et al proposed a new approach for remote biometric based verification, which consists of a hybrid protocol that distributes the server side functionalit...
163
click to vote
MOC
2010
15 years 1 months ago
2010
Consider the space of two dimensional vector functions whose components and curl are square integrable with respect to the degenerate weight given by the radial variable. This spac...
163
click to vote
MOC
2010
15 years 1 months ago
2010
Abstract. We introduce a new technique for the error analysis of hybridizable discontinuous Galerkin (HDG) methods. The technique relies on the use of a new projection whose design...