By Topic

Modeling of network security-related behaviours using NVML

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Shahriari, H.R. ; Dept. of Comput. Eng., Sharif Univ. of Technol., Tehran, Iran ; Jalili, R.

Nowadays, security has become an important issue for organizations especially in e-commerce applications. The spreading of networks and increasing of their complexity has complicated the task of security analysis, therefore automatic approaches have received more attention recently. This paper proposes a model-based approach to analyze the overall security of a network, based on the interaction of hosts within the network. A simple language is introduced for modeling security related behaviours of networks and systems. Using the language, a case study is described and its formal model and security properties are presented.

Published in:

Multitopic Conference, 2004. Proceedings of INMIC 2004. 8th International

Date of Conference:

24-26 Dec. 2004