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

• Yazar: Hammer, Christian (auth)
• Materyal Türü: Elektronik Kitap Bölümü
• Dil: İngilizce
• Baskı/Yayın Bilgisi: KIT Scientific Publishing 2009
• Konular: information flow control; software security; program slicing; program dependence graph; path conditions
• Online Erişim: DOAB: download the publication; DOAB: description of the publication

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...