Information flow control for java : a comprehensive approach based on path conditions in dependence Graphs

Information flow control (IFC) is a technique to assert the security of a given program with respect to a given security policy. The classical policy noninterference requires that public output of a program may not be influenced from secret input. This work leverages a technique called program slici...

وصف كامل

التفاصيل البيبلوغرافية

المؤلف الرئيسي:	Hammer, Christian
التنسيق:	Online
اللغة:	الإنجليزية
منشور في:	KIT Scientific Publishing 2021
الموضوعات:	QA75.5-76.95 information flow control software security program slicing program dependence graph path conditions bic Book Industry Communication::U Computing & information technology::UY Computer science
الوصول للمادة أونلاين:	34930
الوسوم:	إضافة وسم لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!