Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

12

CCS
1997
ACM

favoriteEmaildiscussreport

88views Security Privacy» more CCS 1997»

The Security of Static Typing with Dynamic Linking

13 years 9 months ago

The Security of Static Typing with Dynamic Linking

Download www.csl.sri.com

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 system interface. This imposes a requirement for dynamic linking. At the same time, we would like languages supporting executable content to be statically typable, for increased efﬁciency and security. Static typing and dynamic linking interact in a security-relevant way. This interaction is the subject of this paper. One solution is modeled in PVS, and formally proven to be safe.

Drew Dean

Real-time Traffic

CCS 1997 | Dynamic Linking | Executable Content | Portable Executable Content | Security Privacy |

claim paper

Related Content

» Runtime Support for TypeSafe Dynamic Java Classes

» Types and Effects for Secure Service Orchestration

» Dynamic security labels and static information flow control

» Secrecy by Typing and FileAccess Control

» Modules with Interfaces for Dynamic Linking and Communication

» From Flow Logic to Static Type Systems for Coordination Languages

» A static type system for JVM access control

» A novel flowsensitive type and effect analysis for securing C code

» Static and dynamic approaches to modeling endtoend routing in circuitswitched networks

Post Info
More Details (n/a)

Added	07 Aug 2010
Updated	07 Aug 2010
Type	Conference
Year	1997
Where	CCS
Authors	Drew Dean

Comments (0)