what you don't know can hurt you
Home Files News &[SERVICES_TAB]About Contact Add New

ccs4.html

ccs4.html
Posted Oct 1, 1999
Authored by Drew Dean

The Security of Static Typing with Dynamic Linking.

tags | paper, java
SHA-256 | 0113243ed194973b320225cf70b90ee330858eea09539ef4a7a739c5c8983b72
Download | Favorite | View

ccs4.html

Change Mirror Download

<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">

<!-- This document is automatically generated.  Instead, edit
     pub/ccs4.xhtml and type "make". -->






<html> <head>
<title>Secure Internet Programming: The Security of Static Typing with Dynamic Linking</title>
</head>


<body bgcolor="#fee7c8" VLINK="#731105" LINK="#b45216" TEXT="#TEXT#">
<font face="helvetica,geneva,arial">

<table width="100%" cellpadding=0 cellspacing=0 border=0>
<tr><td rowspan=2 bgcolor="#ffffff" valign=top align=left>
<table cellpadding=5 border=0>
<tr><td colspan=2 align=center>
<a href="/sip/"><img border=0 src="/sip/images/sip-logo-small.gif" width=100 height=41 alt="Secure Internet Programming"></a>
</td></tr>
<tr><td>
<img src="/sip/images/orange.gif" WIDTH=14 HEIGHT=14 ALT="*">
</td><td><a href="/sip/History.html">History</a></td></tr>
<tr><td>
<img src="/sip/images/orange.gif" WIDTH=14 HEIGHT=14 ALT="*">
</td><td><a href="/sip/People.html">People</a></td></tr>
<tr><td>
<img src="/sip/images/orange.gif" WIDTH=14 HEIGHT=14 ALT="*">
</td><td><a href="/sip/Partners.html">Partners</a></td></tr>
<tr><td>
<img src="/sip/images/orange.gif" WIDTH=14 HEIGHT=14 ALT="*">
</td><td><a href="/sip/Research.html">Research</a></td></tr>
<tr><td>
<img src="/sip/images/orange.gif" WIDTH=14 HEIGHT=14 ALT="*">
</td><td><a href="/sip/Publications.html">Publications</a></td></tr>
<tr><td>
<img src="/sip/images/orange.gif" WIDTH=14 HEIGHT=14 ALT="*">
</td><td><a href="/sip/java-faq.html">FAQ</a></td></tr>
<tr><td>
<img src="/sip/images/orange.gif" WIDTH=14 HEIGHT=14 ALT="*">
</td><td><a href="/sip/Links.html">Links</a></td></tr>
</table>

</td>
<td valign=bottom align=center bgcolor="#ffffff" width="100%">
<font size="+3"><b>The Security of Static Typing with Dynamic Linking</b></font>
</td></tr>
<tr><td valign=top align=left>
<table width="100%" border=0 cellspacing=8>
<tr><td>
<img src="/sip/images/blank.gif" width=1 height=300 alt="">
</td>
<td valign=top align=left>




<dl>
  <p>
  <dt><font size="+1">Author</font>
  <dd><a href="http://www.cs.princeton.edu/~ddean">Drew Dean</a>
  <p>
  <dt><font size="+1">Abstract</font>
      
  <dd>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 efficiency 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.
  <p>
  <dt><font size="+1">Published</font>
  <dd> <A HREF="http://www.csl.sri.com/acm-ccs/ccs.html">
      Fourth ACM Conference on Computer and Communications Security</A>,
      pages 18-27.
  <p>
  <dt><font size="+1">Text</font>
  <dd><a href="ccs4-preprint.ps.gz">GZip'ed Postscript</a> (49k)
      <br><a href="ccs4-preprint.ps">Postscript</a> (140k)
      <br><a href="ccs4-preprint.pdf">PDF (Adobe Acrobat 2.1)</a> (154k)
</dl>


</td></tr></table>
<table width="100%" border=0 cellspacing=8>
<tr><td>
<hr>
<center>
<a href="http://www.princeton.edu/">Princeton University</a>
<br>
<a href="http://www.cs.princeton.edu/">Department of Computer Science</a>
<br>
Contact: <a href="mailto:sip@cs.princeton.edu"><i>sip@cs.princeton.edu</i></a>
</center>
</td></tr></table>
</td></tr></table>
</font>

</body> </html>
Login or Register to add favorites

File Archive:

April 2024

  • Su
  • Mo
  • Tu
  • We
  • Th
  • Fr
  • Sa
  • 1
    Apr 1st
    10 Files
  • 2
    Apr 2nd
    26 Files
  • 3
    Apr 3rd
    40 Files
  • 4
    Apr 4th
    6 Files
  • 5
    Apr 5th
    26 Files
  • 6
    Apr 6th
    0 Files
  • 7
    Apr 7th
    0 Files
  • 8
    Apr 8th
    22 Files
  • 9
    Apr 9th
    14 Files
  • 10
    Apr 10th
    10 Files
  • 11
    Apr 11th
    13 Files
  • 12
    Apr 12th
    14 Files
  • 13
    Apr 13th
    0 Files
  • 14
    Apr 14th
    0 Files
  • 15
    Apr 15th
    30 Files
  • 16
    Apr 16th
    10 Files
  • 17
    Apr 17th
    22 Files
  • 18
    Apr 18th
    45 Files
  • 19
    Apr 19th
    0 Files
  • 20
    Apr 20th
    0 Files
  • 21
    Apr 21st
    0 Files
  • 22
    Apr 22nd
    0 Files
  • 23
    Apr 23rd
    0 Files
  • 24
    Apr 24th
    0 Files
  • 25
    Apr 25th
    0 Files
  • 26
    Apr 26th
    0 Files
  • 27
    Apr 27th
    0 Files
  • 28
    Apr 28th
    0 Files
  • 29
    Apr 29th
    0 Files
  • 30
    Apr 30th
    0 Files

Top Authors In Last 30 Days

File Tags

Systems

packet storm

© 2022 Packet Storm. All rights reserved.

Site Links
News by Month
News Tags
Files by Month
File Tags
File Directory
About Us
History & Purpose
Contact Information
Terms of Service
Privacy Statement
Copyright Information
Services
Security Services
Hosting By
Rokasec
close