107 search results - page 9 / 22 » A secure compiler for session abstractions |
DAGSTUHL
2007
13 years 9 months ago
2007
Abstract. RF-powered smart cards are widely used in different application areas today. For smart cards not only performance is an important attribute, but also the power consumed ...
JSW
2008
13 years 7 months ago
2008
Abstract-- Securely managing shared information in distributed environments across multiple organisations is a challenge. Distributed information management systems must be able to...
DAGSTUHL
2001
13 years 9 months ago
2001
Abstract. Language-based security leverages program analysis and program rewriting to enforce security policies. The approach promises efficient enforcement of fine-grained access ...
PKC
2004
Springer
14 years 25 days ago
2004
Springer
Abstract. A group key agreement protocol allows a set of users, communicating over a public network, to agree on a private session key. Most of the schemes proposed so far require ...
TIC
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. A type-based certifying compiler maps source code to machine code and target-level type annotations. The target-level annotations make it possible to prove easily that th...