2486 search results - page 1 / 498 » A Type System for Computationally Secure Information Flow |
FCT
2005
Springer
13 years 10 months ago
2005
Springer
CONCUR
2010
Springer
13 years 6 months ago
2010
Springer
We consider a calculus for multiparty sessions with delegation, enriched with security levels for session participants and data. We propose a type system that guarantees both sessi...
ICTAC
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. We investigate the issue of typing confidentiality in a languagebased information-flow security approach, aiming at improving some previously proposed type systems, esp...
CCS
2006
ACM
13 years 8 months ago
2006
ACM
Type systems for secure information flow aim to prevent a program from leaking information from variables classified as H to variables classified as L. In this work we extend such...
CASSIS
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. We study secure information flow in a stack based Typed Assembly Language (TAL). We define a TAL with an execution stack and establish the soundness of its type system ...