123 search results - page 1 / 25 » Secure implementations of typed channel abstractions |
POPL
2007
ACM
14 years 4 months ago
2007
ACM
CSFW
2007
IEEE
13 years 11 months ago
2007
IEEE
mplementations for Typed Session Abstractions Ricardo Corin1,2,3 Pierre-Malo Deni´elou1,2 C´edric Fournet1,2 Karthikeyan Bhargavan1,2 James Leifer1 1 MSR-INRIA Joint Centre 2 Mic...
ACSAC
2007
IEEE
13 years 11 months ago
2007
IEEE
Security-typed languages (STLs) are powerful tools for provably implementing policy in applications. The programmer maps policy onto programs by annotating types with information ...
IANDC
2002
13 years 4 months ago
2002
CORR
2004
Springer
13 years 4 months ago
2004
Springer
Abstraction by Typing Andrew D. Gordon Microsoft Research Riccardo Pucella Cornell University An XML web service is, to a first approximation, an RPC service in which requests and...