Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 99 for “"Security analysis"”.
-
Automated security analysis of payment protocols
… systems. This research develops an automated analysis framework for payment protocols called PTGPA. PTGPA combines the techniques of formal analysis as well as the decidability afforded by theory generation, a general-purpose framework for automated reasoning. A comprehensive and …
-
NAVY ADDITIVE MANUFACTURING AFLOAT, DATA SECURITY ANALYSIS
… identifies existing weak points in current AM security practices; and develops a smooth process for integrity protection of AM schematics. The recommended implementation spans both user and application system aspects to ensure comprehensive protection. To achieve these results, this thesis …
-
Source code security analysis and fuzzy logic
… common to C and C++ applications. However, some security errors can still persist due to developers' neglect or complexity of applications. The prototypic solution, presented in this paper, is targeted towards elimination of such errors. Code security and Java code security specifically was not a …
-
Efficient Automated Security Analysis of Complex Authorization Policies
… for today's ubiquitous systems. Sophisticated security requirements need to be ensured by authorization policies for increasingly complex and large applications. As a consequence, designers need to understand such policies and ensure that they meet the desired security constraints while …
-
A systematic security analysis of the AODV protocol
… tactical battlefield in mind, gives rise to many security issues. Because of the relative newness of wireless ad-hoc networks there is no standard routing protocol for the network layer. Many protocols have been proposed, and this thesis will examine one of the more popular protocols, Ad-hoc …
-
Physics-based Security Analysis of Controller Area Network Protocols
… detection systems. In order to enhance the security of the CAN protocol from these vulnerabilities, we develop software and hardware-based defense mechanisms that can detect attacks by exploiting timing, voltage, and motion information, where the hardware-based defense mechanism can also …
-
An approach to incorporating uncertainty in network security analysis
Attack graphs used in network security analysis are analyzed to determine sequences of exploits that lead to successful acquisition of privileges or data at critical assets. An attack graph edge corresponds to a vulnerability, tacitly assuming a connection exists and tacitly assuming the …
-
Security Analysis of ICT Systems based on Bio-Inspired Models
… can not ignore the technological and social analysis, to be also linked to the economic aspects, and now also linked to the sustainability. Dwawing inspiration from biology that has ed to useful approaches to problem solving, this Ph.D. dissertation propose and develop a risk analysis model …
-
Implementation and security analysis of the Infranet anti-censorship system
Thesis (M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2003.
-
Blockchain and Distributed Consensus: From Security Analysis to Novel Applications
… transparency, and consensus-driven security promised by blockchain are unprecedented and can potentially enable a wide range of new applications that prevail in the decentralized zero-trust model. While blockchain represents a secure-by-design approach to building zero-trust …
-
Learning-based Cyber Security Analysis and Binary Customization for Security
… rewriting techniques for mobile and web security problems. In mobile malware detection, we focus on detecting repackaged mobile malware. We design and demonstrate an Android repackaged malware detection technique based on code heterogeneity analysis. In post-detection rewriting, we aim at …
-
Quantum cryptography : security analysis of multiuser quantum communication with embedded authentication
… communication, are discussed in this work. The security of the protocols against different types of attacks is analysed with a focus on various impersonation attacks and the man-in-the-middle attack. On the basis of the security analyses several improvements are suggested and implemented in …
-
Security analysis of inter control center communication protocol using model checking
… in real time. Given the critical nature of ICCP, security of ICCP is of paramount importance to power community. However, the present state of ICCP security can be best described as an afterthought. The protocol itself does not provide strong authentication and authorization primitives. …
-
Memory safety with CHERI capabilities: security analysis, language interpreters, and heap temporal safety
… the feasibility, source-code compatibility, and security properties of adapting an interpreter that supports just-in-time compilation to CHERI. I determine that such an adaptation is feasible, practical, and can achieve parity with more typical applications in terms of memory protection. The …
-
Does specialization in security analysis and portfolio management explain deviations from the CAPM?
… (CAPM), which relates the risk of an individual security to its expected return, is frequently cited in investments textbooks and the academic literature as a centerpiece of modem finance theory. The main prediction of the CAPM is that investors are compensated in the form of expected return only …
-
Security Analysis and Framework of Cloud Computing with Parity-Based Partially Distributed File System
… of using cloud computing is its increased security risks. In this study I conduct an in depth analyses of the different aspects of security issues in cloud computing and propose a file distribution model as a possible solution to alleviate those security risks. It also shows the …
Page 1 of 5