Home // ICSEA 2011, The Sixth International Conference on Software Engineering Advances // View article

Intrusion Detection with Symbolic Model Verifier

Authors:
Ines Ben Tekaya
Mohamed Graiet
Bechir Ayeb

Keywords: attacks; intrusion; security; scenarios; Linux commands; model verifier.

Abstract:
Many intrusions came from internal users. This behavior can cause damage without human intervention: viruses, worms, trojan horses, etc. This paper describes our intrusion detection method in Linux/Unix commands using formal verification. The main features of this work are twofold. It exploits formal method in the intrusion detection field. It presents our tool TLID which can transform Linux code to Symbolic Model Verifier.

Pages: 183 to 189

Copyright: Copyright (c) IARIA, 2011

Publication date: October 23, 2011

Published in: conference

ISSN: 2308-4235

ISBN: 978-1-61208-165-6

Location: Barcelona, Spain

Dates: from October 23, 2011 to October 29, 2011