Browsing Academic by Subject "UML"

Now showing items 1-2 of 2

    • A toolset for the specification and verification of embedded systems 

      Rebaiaia, Mohamed Larbi; Jaam, Jihad Mohamad; Benmohamed, Mohamed; Hasnah, Ahmad ( IEEE , 2003 , Conference Paper)
      Because of many malfunctions of some critical real-time systems (Pentium bug, Ariane lance rocket), which have caused life and billion dollars loss, computer aided formal methods have been developed and successfully applied ...

    • Using IPSec to Secure Multi-Level Data Classification in MLS Networks 

      Morsi, Wissam; El-Fouly, Tarek; Badr, Ahmed ( IEEE , 2006 , Conference Paper)
      In this paper we present a method of using IPsec to secure multi-level data classification in the MLS networks by using the data sensitivity. We will show how IPsec can be modified to be used in securing communication in ...