• DocumentCode
    2453554
  • Title

    Opacity: A Theoretical Technique for Digital Investigation

  • Author

    Rekhis, Slim ; Boudriga, Noureddine

  • Author_Institution
    C&NS Res. Lab., 7th of November Univ., Carthage
  • Volume
    2
  • fYear
    0
  • fDate
    0-0 0
  • Firstpage
    3281
  • Lastpage
    3286
  • Abstract
    We present in this paper a novel approach that integrates opacity theory to digital forensic investigation. Our approach adds multi-observability and new classes of properties to opacity. It shows the appropriateness of using opacity in proving evidences related to hacking activities and characterizes what is provable. A temporal logic of security action and a case study are developed for integration needs
  • Keywords
    computer crime; temporal logic; digital forensic investigation; hacking activities; opacity theory; security action; temporal logic; Application software; Computer crime; Computer security; Digital forensics; Formal verification; Interference; Logic; Petri nets; Protocols; Specification languages;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Information and Communication Technologies, 2006. ICTTA '06. 2nd
  • Conference_Location
    Damascus
  • Print_ISBN
    0-7803-9521-2
  • Type

    conf

  • DOI
    10.1109/ICTTA.2006.1684942
  • Filename
    1684942
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2453554