Dissertation/Thesis
Trace Effect Analysis for Software Security
| Τίτλος: | Trace Effect Analysis for Software Security |
|---|---|
| Συγγραφείς: | Skalka, Christian |
| Συνεισφορές: | VERMONT UNIV BURLINGTON |
| Πηγή: | DTIC |
| Έτος έκδοσης: | 2010 |
| Συλλογή: | Defense Technical Information Center: DTIC Technical Reports database |
| Θεματικοί όροι: | Computer Programming and Software, SOFTWARE TOOLS, SECURITY, TIME, SAFETY, ACCESS, STREAMFLOW ANALYSIS, OBJECT ORIENTED PROGRAMMING, COMMUNICATIONS PROTOCOLS, SENSITIVITY, COMPUTER PROGRAMS, LANGUAGE, TRACE EFFECT ANALYSIS, TRACE PROPERTIES, SOFTWARE SECURITY |
| Περιγραφή: | We developed combined run-time and compile-time analyses for enforcing trace based safety properties in higher order and Object Oriented programs, called trace effect analysis. Traces are the ordered sequence of events generated by programs. A wide variety of interesting language safety mechanisms can be expressed as trace properties, such as access control, resource usage protocols, and context sensitive flow analysis. Consequently, our analyses provide a uniform framework for automatically enforcing a large class of safety properties, which can be specialized for particular applications. Formal type theory underlies most of these analyses. We have also developed new program logics for defining access control policies. Based on temporal logics, they allow for the specification and verifiable enforcement of sophisticated security policies, and are especially useful in distributed contexts. |
| Τύπος εγγράφου: | Thesis |
| Περιγραφή αρχείου: | text/html |
| Γλώσσα: | English |
| Relation: | http://www.dtic.mil/docs/citations/ADA515457 |
| Διαθεσιμότητα: | http://www.dtic.mil/docs/citations/ADA515457 http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA515457 |
| Rights: | Approved for public release; distribution is unlimited. |
| Αριθμός Καταχώρησης: | edsbas.56C43258 |
| Βάση Δεδομένων: | BASE |
| Η περιγραφή δεν είναι διαθέσιμη |