196 search results - page 25 / 40 » Compositional information flow security for concurrent progr... |
153
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
—The article describes a course on system design (structural approach) which involves the following: issues of systems engineering; structural models; basic technological problem...
117
click to vote
LATIN
2010
Springer
15 years 10 months ago
2010
Springer
Concurrent compositions of recursive programs with finite a natural abstraction model for concurrent programs. Since reachability is undecidable for this class, a restricted form ...
127
click to vote
CCS
2007
ACM
15 years 9 months ago
2007
ACM
In defining large, complex access control policies, one would like to compose sub-policies, perhaps authored by different organizations, into a single global policy. Existing po...
154
click to vote
IFIPTCS
2010
15 years 29 days ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...
113
click to vote
ESORICS
2002
Springer
16 years 2 months ago
2002
Springer
In recent times information flow and non-interference have become very popular concepts for expressing both integrity and privacy properties. We present the first general definitio...