Security Types for Sessions and Pipelines-Reference-Cited by-同舟云学术

Security Types for Sessions and Pipelines

Published:2009 Issue: Volume: Page:175-190
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Kolundžija Marija

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-01364-5_11

Reference21 articles.

1. Lecture Notes in Computer Science;L. Acciai,2008

2. Banerjee, A., Naumann, D.A.: A Simple Semantics and Static Analysis for Java Security. Technical Report 2001-1, Stevens Institute of Technology (2001)

3. Bell, D.E., LaPadula, L.J.: Secure Computer Systems: Mathematical Foundations. Technical Report MTR-2547, Vol. 1, MITRE Corp., Bedford, MA (1973)

4. Bonelli, E., Compagnoni, A., Gunter, E.: Correspondence assertions for process synchronization in concurrent communications. J. Funct. Program. 15(2), 219–247 (2005)

5. Lecture Notes in Computer Science;M. Boreale,2006

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

1. Typing access control and secure information flow in sessions;Information and Computation;2014-11

2. Enforcing ASTD Access-Control Policies with WS-BPEL Processes in SOA Environments;Mobile and Web Innovations in Systems and Service-Oriented Engineering;2013

3. Enforcing ASTD Access-Control Policies with WS-BPEL Processes in SOA Environments;International Journal of Systems and Service-Oriented Engineering;2011-04

4. From ASTD Access Control Policies to WS-BPEL Processes Deployed in a SOA Environment;Lecture Notes in Computer Science;2011

5. Session Types for Access and Information Flow Control;CONCUR 2010 - Concurrency Theory;2010