Design of access authentication schemes in 5G wireless networks by Chow, Man Chun

“…After that, for each proposal, we evaluate its security and logical correctness using formal verification tools. Performance evaluations for each scheme also show that the proposed schemes are computationally and spatially efficient while maintaining a high level of security.…”
Get full text

Abstraction discovery and refinement for model checking by symbolic trajectory evaluation by Adams, S

“…<p>This dissertation documents two contributions to automating the formal verification of hardware – particularly memory-intensive circuits – by Symbolic Trajectory Evaluation (STE), a model checking technique based on symbolic simulation over abstract sets of states. …”

Analysis and mitigation of information exposure on interest management in massively multiplayer online games by Hao, Jianan

“…We hope this thesis can be valuable to academia especially on privacy preserving computation, hardware virtualization, trusted computing and formal verification. The proposed evaluation properties can become a widely used standard for evaluating IM schemes. …”
Get full text

Efficient and secure mobility support in 6LoWPAN networks by Qiu, Yue

“…The logic correctness of the proposed schemes is proved by the protocol logic. The formal verification by the verification tools and the performance evaluation results show that the proposed security schemes for 6LoWPAN networks could not only enhance the security functionalities with the ability to prevent various malicious attacks but also be computationally efficient.…”
Get full text

A formal framework for specification-based embedded real-time system engineering by Ouimet, Martin, 1975-

Get full text

Investigation of security functionality in smart grid by Meng, XianZhu

“…Compared to a theory analysis, formal verification, logic proof and performance evaluation are implemented for these three solutions in this project as well. …”
Get full text

Countering the Cognitive, Linguistic, and Psychological Underpinnings Behind Susceptibility to Fake News: A Review of Current Literature With Special Focus on the Role of Age and D... by Stefan Gaillard, Stefan Gaillard, Zoril A. Oláh, Stephan Venmans, Michael Burke

“…The spread of information without formal verification increased since the introduction of social media and online news channels. …”
Get full text

Efficient kerberos authentication scheme for cross-domain systems in industrial internet of things using ECC by Ismail, Haqi Khalid

“…The proposed schemes have been validated using informal and formal security verification to compare the achieved security features against various attacks. The formal verification is performed using BAN logic to prove the security and mutual authentications. …”
Get full text

Toward efficient attribute-based searchable encryption for access control over blockchain by Hussein, Al-Abadi Hassan Mansur

“…Furthermore, security validation is verified by simulating a formal verification scenario using Automated Validation of Internet Security Protocols and Applications (AVISPA), thereby unveiling that BC-ABSE is resistant to man-in-themiddle (MIM) and replay attacks. …”
Get full text

Security and performance enhancement of authentication protocols in heterogeneous wireless networks by Alezabi, Kamal Ali Ahmed

“…The Automated Validation of Internet Security Protocols and Applications (AVISPA) tool is used to provide a formal verification. Results show that the proposed protocols are efficient and secure against active and passive attacks.…”
Get full text

Parallelizing model checking algorithms using multi-core and many-core architectures by Wu, Zhimin

“…To the best of our knowledge, there is no tool support for the formal verification of quantum communication systems, including both the general model checking and the automatic quantum bisimilarity checking. …”
Get full text

Automatic program analysis and verification and their applications in smart contracts by Jiao, Jiao

“…Lastly, the generated semantics facilitates the formal verification of smart contracts written in a particular high-level programming language as a formal specification of the corresponding language. …”
Get full text

The Spotlight Principle by Wachter, B, Westphal, B

“…Formal verification of safety and liveness properties of systems with a dynamically changing, unbounded number of interlinked processes and infinite-domain local data is challenging due to the two sources of infiniteness. …”

Maintaining the Feasibility of Hard Real–Time Systems with a Reduced Number of Priority Levels by Qureshi Muhammad Bilal, Alrashed Saleh, Min-Allah Nasro, Kołodziej Joanna, Arabas Piotr

“…The theoretical correctness of both contributions is checked through formal verifications. Moreover, the experimental results reveal the superiority of our work over the existing feasibility tests by reducing the number of scheduling points that are needed otherwise.…”
Get full text

Formalisations and applications of business process modelling notation by Wong, P

“…The primary objective of this thesis is to provide a framework for precise specifications and formal verifications of workflow processes modelled as BPMN diagrams. …”

Modelling and verifying dynamic access control policies in workflow-based healthcare systems by Faruqui, Rokan Uddin

“…Since healthcare systems are critical systems, where errors can be very costly in terms of lives, quality of life, and/or dollars, it is crucial to identify discrepancies between policy specifications and their intended function to implement correctly a flexible access control system. Formal verifications are necessary for exhaustive verification and validation of policy specifications to ensure that the policy specifications truly encapsulate the desires of the policy authors. …”
Get full text

A Comprehensive Formalization of Propositional Logic in Coq: Deduction Systems, Meta-Theorems, and Automation Tactics by Dakai Guo, Wensheng Yu

“…This work holds particular importance in the domains of mathematical formalization, verification of software and hardware security, and in enhancing comprehension of the principles of logical reasoning.…”
Get full text