Confined mobile functions

Proceedings of the Computer Security Foundations Workshop

Volumn , Issue , 2001, Pages 283-294

  Kirli, Z D ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

HIGH-ORDER LANGUAGES;

COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; DATA FLOW ANALYSIS; MATHEMATICAL MODELS; SECURITY OF DATA; SEMANTICS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 0034837909     PISSN: 10636900     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSFW.2001.930153     Document Type: Conference Paper

References (29)

1. Secrecy in programming-language semantics
2. A core calculus of dependency
3. A calculus for cryptographic protocols: The spi calculus
4. Transforming out time leaks
5. Compile-time detection of information flow in sequential programs
6. A semantics for ML concurrency primitives
7. Static analysis of processes for no read-up and no write-down
8. Mobility types for mobile ambients
9. Secrecy and group creation
10. Understanding code mobility
11. Facile: A symmetric integration of concurrent and functional programming
12. The SLam calculus: Programming with secrecy and integrity
13. Information flow vs. resource access in the asynchronous pi-calculus
14. Reasoning about secrecy for active networks
15. Security properties of typed applets
16. JFlow: Practical mostly-static information flow control
17. Trust in the λ-calculus
18. Information flow inference for free
19. Probabilistic noninterference for multi-threaded programs
20. Global/local subtyping and capability inference for a distributed π-calculus
21. Static enforcement of security with types
22. Secure information flow in a multi-threaded imperative language
23. A type-based approach to program security
24. Confinement properties for programming languages
25. A sound type system for secure flow anaylsis
26. Subtyping and locality in distributed higher order processes