Skip to main content

3 Result(s)

within Farah Al-Shareefi Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    Analysing Security Protocols Using Scenario Based Simulation

    In this paper, we present a methodology for analysing security protocols using scenario based simulation. A scenario of a potential attack specifies the flow but not the content of messages. Using scenarios c...

    Farah Al-Shareefi, Alexei Lisitsa… in Verification and Evaluation of Computer an… (2019)

  2. No Access

    Chapter and Conference Paper

    Clarification of Ambiguity for the Simple Authentication and Security Layer

    The Simple Authentication and Security Layer (SASL) is a framework for enabling application protocols to support authentication, integrity and confidentiality services. The SASL was originally specified in RFC...

    Farah Al-Shareefi, Alexei Lisitsa… in Abstract State Machines, Alloy, B, TLA, VD… (2018)

  3. No Access

    Chapter and Conference Paper

    Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems

    The Abstract State Machine (ASM) method is a formal specification and modeling technique that allows us to specify computational systems at the required abstraction level and facilitates formal analysis and ve...

    Farah Al-Shareefi, Alexei Lisitsa… in Formal Methods: Foundations and Applicatio… (2017)