1771 search results - page 242 / 355 » An Aspect-Oriented Security Framework |
170
click to vote
ITP
2010
15 years 10 months ago
2010
CertiCrypt is a general framework to certify the security of cryptographic primitives in the Coq proof assistant. CertiCrypt adopts the code-based paradigm, in which the statement ...
158
click to vote
ESORICS
1994
Springer
15 years 10 months ago
1994
Springer
It has been observed that often the release of a limited part of an information resource poses no security risks, but the relase of a sufficiently large part of that resource might...
187
click to vote
COMGEO
2010
ACM
15 years 9 months ago
2010
ACM
Today sophisticated concepts, languages and frameworks exist, that allow implementing powerful fine grained access control systems for protecting Web Services and spatial data in ...
169
click to vote
DSOM
2008
Springer
15 years 8 months ago
2008
Springer
The accuracy of detecting an intrusion within a network of intrusion detection systems (IDSes) depends on the efficiency of collaboration between member IDSes. The security itself ...
203
click to vote
CRYPTO
2010
Springer
15 years 7 months ago
2010
Springer
We prove beyond-birthday-bound security for most of the well-known types of generalized Feistel networks: (1) unbalanced Feistel networks, where the n-bit to m-bit round functions ...