5188 search results - page 1 / 1038 » Information Flow in Interactive Systems |
CONCUR
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. We consider the problem of defining the information leakage in interactive systems where secrets and observables can alternate during the computation. We show that the in...
SACMAT
2006
ACM
13 years 10 months ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
CSFW
2006
IEEE
13 years 10 months ago
2006
IEEE
Abstract. Interactive programs allow users to engage in input and output throughout execution. The ubiquity of such programs motivates the development of models for reasoning about...
DEBS
2009
ACM
13 years 11 months ago
2009
ACM
Complex middleware frameworks are made out of interacting components which may include bugs. These frameworks are often extended to provide additional features by thirdparty exten...
ASIAN
2007
Springer
13 years 8 months ago
2007
Springer
Current information systems are more and more complex. They require more interactions between different components and users. So, ensuring system security must not be limited to us...