Dissertation > Excellent graduate degree dissertation topics show

Generate Security-relevant Behavior Model of Java Source Code Based on Extended Push Down Automaton

Author: LiChao
Tutor: ZhengXiaoJuan
School: Northeast Normal University
Course: Computer Software and Theory
Keywords: mobile code security static analysis model generation extended pushdown automaton object-oriented
CLC: TP311.52
Type: Master's thesis
Year: 2011
Downloads: 14
Quote: 0
Read: Download Dissertation

Abstract


With the application of java program,the security of mobile code become more and more important.Model-carrying code(MCC) provides a systematic and comprehensive framework for the security of execution of untrusted mobile code,but it still has aspects to complete.We introduce extended pushdown automaton (EPDA) as the program behavior model and show an advanced method of constructing EPDA through static analysis of Java source code.This paper shows the formal definition and abstract representation of our EPDA model, and presents the analysis method of inter-method control flow and data flow. These improvements raise the ability of static analysis so that it is more applicable to object-oriented languages. We also integratively deal with exceptions, polymorphism, classes, objects and other features of the object-oriented language.

Related Dissertations

  1. Gui Design and Application Oriented to Embedded Ultrasonic Detecting System,TP274.53
  2. Design and Implementation of the weapons and equipment information management system,TP311.52
  3. The Research of Japanese Primary Music Textbooks,G623.71
  4. Analysis and Evaluation of Some Heavy Truck Drive Axle Housing’s Static and Dynamic Characteristics,U463.218.5
  5. Vocational and technical schools in Suining repair logistics information management system design and implementation,TP311.52
  6. Key components of crane Intelligent Fault Diagnosis System Development,TH213.6
  7. Scheduling the refining process -oriented modeling and simulation,TE624
  8. AVIC International Plaza Building, structural stability analysis,TU973.2
  9. Design Patterns in satellite imagery Simulation System Research and Application,TP311.52
  10. Based on Multi-granularity dependency graph change impact analysis method,TP311.53
  11. Vehicle-mounted snubbing workover rig derrick Design and analysis,TE935
  12. Diversification of ownership of the object based on the nature of software trustworthiness,TP311.52
  13. Research on Model and Optimization of Production Scheduling for Copper Sheet and Strip Oriented MES,TP391.7
  14. Research on the Square RAM Deformation Processing and Compensation,TG548
  15. Study of Statistics and Vibration Damping of Gearbox/transmission Casing,TH113
  16. Child Health Research Information System Functional Model,R197.324
  17. Research on Online Monitoring System Using DSSA,TP274
  18. Jiabao station double helix structure of single-layer reticulated shell,TU399
  19. Design of System for Interpolating the Surface of Allotypic Piston Skirt,TK403
  20. Analysis of Power Network Topology and Virtual Load Flow Calculation in Hydropower Simulation Software,TM743
  21. Research on Entire Network Integrate Intelligent Anti-error Operation Order System for Substation Section,TM734

CLC: > Industrial Technology > Automation technology,computer technology > Computing technology,computer technology > Computer software > Program design,software engineering > Software Engineering > Software Development
© 2012 www.DissertationTopic.Net  Mobile