Dissertation > Excellent graduate degree dissertation topics show

MIC theory based security model for embedded systems design and research

Author: YeZhaoHeng
Tutor: WangHaiBin
School: West China University
Course: Signal and Information Processing
Keywords: Model Integrated Computing (MIC) Domain Modeling Language (DSML) Security Model Model validation
CLC: TP368.1
Type: Master's thesis
Year: 2010
Downloads: 30
Quote: 1
Read: Download Dissertation

Abstract


As the computer industry continues to evolve and change, the development of embedded systems has become a hot area of ??research, and successfully applied to the society in various industries such as manufacturing, services, defense, and the Internet. However, to network applications in embedded systems are exposed while growing problem of information security, information leaks, unauthorized modification, destruction of human society as a whole has caused tremendous damage. Once past the penetration of the system or be used to identify the loopholes, remove them, but before it is made up of vulnerability has caused significant losses. Therefore, the preferred approach is in the early stages of the life cycle of the system, system deployment or implementation before they seriously consider the security issues. In this paper, the application of embedded systems in the network security threats facing the paper proposes a model-based Integrated Computing (MIC) theoretical model of embedded system security design method, which uses domain-oriented graphical language to establish the system design phase safety analysis model, and integrated into the embedded software system modeling process. Specific tasks include the following aspects: 1) paper-based research and theoretical methods compared. This theoretical model for the integration of the core areas of computing and modeling language analysis and study, and with the Unified Modeling Language comparative analysis, analysis shows that the introduction of integrated computing model for embedded modeling, domain modeling language can better adapt embedded systems complex physical environment; 2) safety analysis of embedded systems and propose policy-based security model. The embedded system applications in the network information security problems exposed by the analysis, such as human negligence, willful theft, destruction, software attacks and other threats and malicious code, denial of service attacks, based on the analysis of a variety of attacks, combining and compare the various existing security model put forward feasible and reliable security policy; 3) security model designs. Through domain modeling language to build security model, security model, including the information flow model and threat model. Information flow model by the BLP model and the Biba model composition, mainly to solve the flow of information during transmission of data confidentiality and integrity. Threat model analysis tools can identify the weak channel combined with encryption algorithm to decide which encryption algorithm to encrypt the channel to protect data transmission; 4) security model application. Through the existing model and the design of embedded security model for the joint design. In this design, embedded control system model and security model to achieve joint design, embedded control system model using model instance analyze security model is feasible and practical. The design study shows that the above work in the design of embedded software systems embedded security model in the early stages, can be fed system security information, and thus modify the model information to guide system development, improve the development efficiency and shorten the development cycle.

Related Dissertations

  1. Design and implementation of customer relationship management system based on the SaaS model of software services,TP311.52
  2. Study on the CNG Engine Torque Control Based on Model,TK470
  3. Configurable Embedded Systems Security Model Research and Its Implementation,TP309.1
  4. Coupling structure complex nonlinear finite element method for accurate modeling and model validation study,TH131.3
  5. ' Work' farming \,F323.89
  6. The Social Security Research of Farmers Shanghai Suburbs Case of Baoshan District, Luo Dian,F323.89
  7. Of small and medium banks internal credit risk rating of,F832.3
  8. The Design and Implementation of Student Management Information System for Shandong Economic and Trade Vocational College,TP311.52
  9. Study on Program Real-time Model Checking Method Based on WCET Analysis Technology,TP311.52
  10. Cloud Storage Encryption small scale document storage management research and implementation,TP333
  11. FIR Model Identification Algorithm with Applications,N945.14
  12. Campus Network Research and Design for Middle Vocational School,TP393.18
  13. Network node security reinforcement,TP393.08
  14. Strategy Media Security System Building and Path Choosen,G206
  15. Zhuangxi pile 52 fault block oilfield geological modeling and model validation study,P618.13
  16. Research on IRFPA Nonuniformity Correction System Modeling Based on OO-TDPN,TN215
  17. Based on Elliptic Curve Group Blind Signature Scheme,TP309
  18. Context of information technology quality of rural life empirical research,F224;F320
  19. Analysis and Verification of the SOAP Security Based on Pi Calculus,TP393.08
  20. Validation Methods and Assistant Tools Based on Coherence of Data,N945.13

CLC: > Industrial Technology > Automation technology,computer technology > Computing technology,computer technology > Micro-computer > A variety of micro-computer > Microprocessor
© 2012 www.DissertationTopic.Net  Mobile