Types and effects for resource usage analysis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4423 LNCS, Issue , 2007, Pages 32-47

  Bartoletti, Massimo ^a   Degano, Pierpaolo ^a   Ferrari, Gian Luigi ^a   Zunino, Roberto ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION ALGORITHMS; FUNCTIONS; MODEL CHECKING; PUBLIC POLICY;

EXECUTIONS; RESOURCE USAGE ANALYSIS; RUN-TIME; VALID APPROXIMATION;

RESOURCE ALLOCATION;

EID: 37149004953     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-71389-0_4     Document Type: Conference Paper

References (22)

1. M. Bartoletti, P. Degano, and G. L. Ferrari. History based access control with local policies. Proc. Fossacs (LNCS 3441), 2005.
2. M. Bartoletti, P. Degano, and G. L. Ferrari. Checking risky events is enough for local policies. Proc. 9th ICTCS (LNCS 3701), 2005.
3. M. Bartoletti, P. Degano, and G. L. Ferrari. Types and effects for secure service orchestration. Proc. CSFW, 2006.
4. L. Bauer, J. Ligatti, and D. Walker. More enforceable security policies. Proc. FCS, 2002.
5. J. A. Bergstra and J. W. Klop. Algebra of communicating processes with abstraction. Theoretical Computer Science, 37:77-121, 1985.
6. J. C. Bradfield. On the expressivity of the modal μ-calculus. Proc. of Int. Symp. on Theoretical Aspects of Computer Science, 1996.
7. T. Colcombet and P. Fradet. Enforcing trace properties by program transformation. Proc. POPL, 2000.
8. Ú. Erlingsson and F.B. Schneider. SASI enforcement of security policies: a retrospective. Proc. of 7th New Security Paradigms Workshop, 1999.
9. J. Esparza. On the decidability of model checking for several μ-calculi and Petri nets. Proc. of 19th Int. Colloquium on Trees in Algebra and Programming, 1994.
10. C. Fournet and A.D. Gordon. Stack inspection: theory and variants. ACM Transactions on Programming Languages and Systems, 25(3):360-399, 2003.
11. Li Gong. Inside Java 2 platform security: architecture, API design, and implementation. Addison-Wesley, 1999.
12. A. Igarashi and N. Kobayashi. Resource usage analysis. Proc. POPL, 2002.
13. D. Kozen. Results on the propositional μ-calculus. Theoretical Computer Science, 27:333-354, 1983.
14. K. Marriott, P. J. Stuckey, and M. Sulzmann. Resource usage verification. Proc. APLAS (LNCS 3302), 2003.
15. G. C. Necula. Proof-carrying code. Proc. POPL, 1997.
16. F. Nielson, H. Riis Nielson, and C. Hankin. Principles of Program Analysis. Springer, 1999.
17. F. B. Schneider. Enforceable security policies. ACM Transactions on Information and System Security (TISSEC), 3(1):30-50, 2000.
18. C. Skalka and S. Smith. History effects and verification. Proc. of APLAS, 2004.
19. C. Skalka. Trace Effects and Object Orientation. Proc. PPDP, 2005.
20. J.-P. Talpin and P. Jouvelot. The type and effect discipline. Proc. 7th IEEE Symposium on Logic in Computer Science, 1992.
21. P. Thiemann. Enforcing Safety Properties Using Type Specialization Proc. ESOP, 2001.
22. D. Walker. A type system for expressive security policies. Proc. POPL, 2000.