74 search results - page 1 / 15 » The Security of Static Typing with Dynamic Linking |
CCS
1997
ACM
13 years 9 months ago
1997
ACM
Dynamic linking is a requirement for portable executable content. Executable content cannot know, ahead of time, where it is going to be executed, nor know the proper operating sy...
ECOOP
2000
Springer
13 years 9 months ago
2000
Springer
Modern software must evolve in response to changing conditions. In the most widely used programming environments, code is static and cannot change at runtime. This poses problems ...
CSFW
2006
IEEE
13 years 9 months ago
2006
IEEE
A distributed calculus is proposed for describing networks of services. We model service interaction through a call-by-property invocation mechanism, by specifying the security co...
IJISEC
2007
13 years 5 months ago
2007
This paper presents a language in which information flow is securely controlled by a type system, yet the security class of data can vary dynamically. Information flow policies ...
CSFW
2006
IEEE
13 years 11 months ago
2006
IEEE
Secrecy properties can be guaranteed through a combination of static and dynamic checks. The static checks may include the application of special type systems with notions of secr...