Runtime Verification of Information flow | Policy-Based Runtime Verification of Information Flow Control

Mohamed Khalefa Sarrab

ISBN 10: 3845432748 / ISBN 13: 9783845432748

Published by LAP LAMBERT Academic Publishing, 2011

About this Item

Runtime Verification of Information flow | Policy-Based Runtime Verification of Information Flow Control | Mohamed Khalefa Sarrab | Taschenbuch | 288 S. | Englisch | 2011 | LAP LAMBERT Academic Publishing | EAN 9783845432748 | Verantwortliche Person für die EU: BoD - Books on Demand, In de Tarpen 42, 22848 Norderstedt, info[at]bod[dot]de | Anbieter: preigu.

Seller Inventory # 106861086

Bibliographic Details

• Title: Runtime Verification of Information flow | Policy-Based Runtime Verification of Information Flow Control
• Publisher: LAP LAMBERT Academic Publishing
• Publication Date: 2011
• Language: English
• ISBN 10: 3845432748
• ISBN 13: 9783845432748
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 220W x 150H x 18D millimeters 220 millimeters width by 150 millimeters height by 18 millimeters depth
• Weight: 447 grams
• Seller catalogs:
  • Bücher

About this title

Synopsis

Standard security mechanism such as Access control, Firewall and Encryption only focus on controlling the release of information but no limitations are placed on controlling the propagation of that confidential information. The principle problem of controlling sensitive information confidentiality starts after access is granted. The research described in this book belongs to the constructive research field where the constructive refers to knowledge contributions being developed as a new framework, theory, model or algorithm. There is currently no monitoring mechanism for controlling information flow during runtime that support behavior configurability and User interaction. Configurability is an important requirement because what is considered to be secure today can be insecure tomorrow. The interaction with users is very important in flexible and reliable security monitoring mechanism because different users may have different security requirements. The interaction with monitoring mechanism enables the user to change program behavior or modify the way that information flows while the program is executing.

About the Author

Dr. Mohamed Khalefa Sarrab has Ph.D. degree in Computer Science from De Montfort University UK 2011. He received his B.Sc in computer science from Seventh of April University Libya 1997 and also received M.Sc in Computer Science and Information Technology from VSB Technical University of Ostrava Czech Republic 2006.