Abstrakt. Frekvensen och skadligheten av cyber-attacker ökar varje dag, och med dem också mängden data som cyberforensics analytiker behöver för att samla in och analysera. I detta dokument föreslår vi en formell analysprocess som gör det möjligt för en analytiker att filtrera den enorma mängd bevis som samlats in och antingen identifiera viktig information om attacken (t.ex. när den inträffade, dess skyldige, dess mål) eller åtminstone utföra en föranalys för att minska komplexiteten i problemet för att sedan dra slutsatser snabbare och effektivare. Vi introducerar Evidence Logic E L för att representera enkla och härledda delar av bevis från olika källor. Vi föreslår ett förfarande, baserat på monotont resonemang, som skriver om bevisbitarna med hjälp av tablåregler, baserat på förhållandet mellan källor och resonemanget bakom de härledda bevisen, och ger en konsekvent uppsättning bevis. Som ett bevis på konceptet tillämpar vi vår analysprocess på en konkret fallstudie av cyber-forensik.
I REF har författarna föreslagit en annan formell lösning för att filtrera bevis på cyberattacker.
A Formal Approach to Analyzing Cyber-Forensics Evidence
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science']}