loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Peter D. Zegzhda ; Dmitry P. Zegzhda and Maxim O. Kalinin

Affiliation: Information Security Centre of Saint-Petersburg Polytechnical University, Russian Federation

Abstract: In this paper, we address to formal verification methodologies and the system analyzing facility to verify property of the operating systems safety. Using our technique it becomes possible to discover security drawbacks in any IT-system based on access control model of 'state machine' style. Through our case study of model checking in Sample Vulnerability Checking (SVC), we show how the evaluation tool can be applied in Microsoft Windows 2000 to specify and verify safety problem of system security.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 54.208.238.160

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
D. Zegzhda, P.; P. Zegzhda, D. and O. Kalinin, M. (2005). Detection of the Operating System Configuration Vulnerabilities with Safety Evaluation Facility. In Proceedings of the 3rd International Workshop on Security in Information Systems (ICEIS 2005) - WOSIS; ISBN 972-8865-25-2, SciTePress, pages 263-276. DOI: 10.5220/0002564902630276

@conference{wosis05,
author={Peter {D. Zegzhda}. and Dmitry {P. Zegzhda}. and Maxim {O. Kalinin}.},
title={Detection of the Operating System Configuration Vulnerabilities with Safety Evaluation Facility},
booktitle={Proceedings of the 3rd International Workshop on Security in Information Systems (ICEIS 2005) - WOSIS},
year={2005},
pages={263-276},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002564902630276},
isbn={972-8865-25-2},
}

TY - CONF

JO - Proceedings of the 3rd International Workshop on Security in Information Systems (ICEIS 2005) - WOSIS
TI - Detection of the Operating System Configuration Vulnerabilities with Safety Evaluation Facility
SN - 972-8865-25-2
AU - D. Zegzhda, P.
AU - P. Zegzhda, D.
AU - O. Kalinin, M.
PY - 2005
SP - 263
EP - 276
DO - 10.5220/0002564902630276
PB - SciTePress