Runtime Verification of Information flow

Mohamed Khalefa Sarrab

ISBN 10: 3845432748 / ISBN 13: 9783845432748

Published by LAP LAMBERT Academic Publishing Aug 2011, 2011

About this Item

Neuware -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.Books on Demand GmbH, Überseering 33, 22297 Hamburg 288 pp. Englisch.

Seller Inventory # 9783845432748

Bibliographic Details

• Title: Runtime Verification of Information flow
• Publisher: LAP LAMBERT Academic Publishing Aug 2011
• 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

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.