3486 search results - page 340 / 698 » On the Design and Security of RC2 |
185
click to vote
ESORICS
2002
Springer
16 years 6 months ago
2002
Springer
Confidentiality-preserving refinement describes a relation between a specification and an implementation that ensures that all confidentiality properties required in the specificat...
160
click to vote
IWPC
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a static analysis framework for inference of security-related program properties. Within this framework we design and implement ownership, immutability and information ...
222
click to vote
SDMW
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we investigate the feasibility and efficiency of mapping XML data and access control policies onto relational and native XML databases for storage and querying. We de...
146
click to vote
IEEEARES
2008
IEEE
16 years 1 months ago
2008
IEEE
In 2002, DARPA put together a challenging proposition to the research community: demonstrate using an existing information system and available DARPA developed and other COTS tech...
149
click to vote
CHES
2007
Springer
16 years 1 months ago
2007
Springer
Contrarily to Kerckhoffs’ principle, many applications of today’s cryptography still adopt the security by obscurity paradigm. Furthermore, in order to rely on its proven or e...