Possibilistic Information Flow Control in MAKS and Action Refinement-Reference-Cited by-同舟云学术

Possibilistic Information Flow Control in MAKS and Action Refinement

Published:2006 Issue: Volume: Page:268-281
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Hutter Dieter

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11766155_19

Reference22 articles.

1. Bossi, A., Focardi, R., Piazza, C., Rossi, S.: Refinement Operators and Information Flow Security. In: Proceedings of the 1st International Conference on Software Engineering and Formal Methods (SEFM 2003). IEEE Computer Science, Los Alamitos (2001)

2. Lecture Notes in Computer Science;A. Bossi,2002

3. Bossi, A., Macedono, D., Piazza, C., Rossi, S.: Compositional Action Refinement and Information Flow Security. Technical Report CS-2003-13. Dipartimento di Informatica, Univerista Ca Foscari di Venezia (2003)

4. Castellano, L., de Michelis, G., Pomello, L.: Concurrency vs. interleaving: an instructive example. Bulletin of the EATCS 31, 12–15 (1987)

5. Degano, P., de Nicola, R., Montanari, U.: Observational equivalences for concurrency models. In: Proceedings of the 3rd IFIP WG 2.2 working conference: Formal description of programming concepts III, Ebberup, North-Holland (1987)

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Possibilistic Information Flow Control for Workflow Management Systems;Electronic Proceedings in Theoretical Computer Science;2014-04-06

2. Abstractions of non-interference security: probabilistic versus possibilistic;Formal Aspects of Computing;2014-01

3. Security in Service Oriented Architectures;Digital Rights Management;2013

4. Information flow security, abstraction and composition;IET Information Security;2009-03-01

5. Stepwise Development of Secure Systems;Lecture Notes in Computer Science;2006