14824 search results - page 356 / 2965 » Security - Introduction |
152
click to vote
FC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. MAC algorithms can provide cryptographically secure authentication services. One of the most popular algorithms in commercial appli
175
click to vote
TCC
2007
Springer
16 years 29 days ago
2007
Springer
We prove a computational soundness theorem for symmetric-key encryption protocols that can be used to analyze security against adaptively corrupting adversaries (that is, adversar...
154
click to vote
CSFW
2006
IEEE
16 years 27 days ago
2006
IEEE
This paper presents an embedded security sublanguage for enforcing information-flow policies in the standard Haskell programming language. The sublanguage provides useful informa...
186
click to vote
IEEEARES
2006
IEEE
16 years 26 days ago
2006
IEEE
Authentication and Authorisation Infrastructures (AAIs) are gaining momentum throughout the Internet. Solutions have been proposed for various scenarios among them academia, GRID ...