6812 search results - page 58 / 1363 » Detection of Information Flows |
108
click to vote
ARCS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
CSFW
2004
IEEE
15 years 5 months ago
2004
IEEE
Our goal in this paper is to make secure information flow typing more practical. We propose simple and permissive typing rules for array operations in a simple sequential imperati...
103
click to vote
CONCUR
2010
Springer
15 years 2 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...
118
click to vote
ATVA
2010
Springer
15 years 1 months ago
2010
Springer
This paper proposes a method for automatically inserting check statements for access control into a given recursive program according to a given security specification. A history-b...
116
click to vote
CADE
2005
Springer
16 years 1 months ago
2005
Springer
In today's society, people have very little control over what kinds of personal data are collected and stored by various agencies in both the private and public sectors. We de...