Compositional Information Flow Verification for Inter Application Communications in Android System

Machine Learning for Cyber Security - Lecture Notes in Computer Science ◽

10.1007/978-3-030-30619-9_17 ◽

2019 ◽

pp. 239-252

Author(s):

Xue Rao ◽

Ning Xi ◽

Jing Lv ◽

Pengbin Feng

Keyword(s):

Information Flow ◽

Android System ◽

Compositional Information

Download Full-text

Compositional Information Flow Analysis for WebAssembly Programs

2020 IEEE 20th International Working Conference on Source Code Analysis and Manipulation (SCAM) ◽

10.1109/scam51674.2020.00007 ◽

2020 ◽

Author(s):

Quentin Stievenart ◽

Coen De Roover

Keyword(s):

Information Flow ◽

Flow Analysis ◽

Information Flow Analysis ◽

Compositional Information

Download Full-text

On Compositional Information Flow Aware Refinement

2021 IEEE 34th Computer Security Foundations Symposium (CSF) ◽

10.1109/csf51468.2021.00010 ◽

2021 ◽

Author(s):

Christoph Baumann ◽

Mads Dam ◽

Roberto Guanciale ◽

Hamed Nemati

Keyword(s):

Information Flow ◽

Compositional Information

Download Full-text

Compositional Information-Flow Security for Interactive Systems

2014 IEEE 27th Computer Security Foundations Symposium ◽

10.1109/csf.2014.27 ◽

2014 ◽

Author(s):

Willard Rafnsson ◽

Andrei Sabelfeld

Keyword(s):

Information Flow ◽

Interactive Systems ◽

Information Flow Security ◽

Compositional Information

Download Full-text

Compositional information flow security for concurrent programs

Journal of Computer Security ◽

10.3233/jcs-2007-15303 ◽

2007 ◽

Vol 15 (3) ◽

pp. 373-416 ◽

Author(s):

Annalisa Bossi ◽

Carla Piazza ◽

Sabina Rossi

Keyword(s):

Information Flow ◽

Concurrent Programs ◽

Information Flow Security ◽

Compositional Information

Download Full-text

The Wired Island: Gender, Technology, and the Information Flow in a Greek Village

PsycEXTRA Dataset ◽

10.1037/e643022011-001 ◽

2010 ◽

Author(s):

Deborah Altamirano

Keyword(s):

Information Flow

Download Full-text

On the Computational Complexity of the Linear Solvability of Information Flow Problems with Hierarchy Constraint

IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences ◽

10.1587/transfun.e99.a.2211 ◽

2016 ◽

Vol E99.A (12) ◽

pp. 2211-2217

Author(s):

Yuki TAKEDA ◽

Yuichi KAJI ◽

Minoru ITO

Keyword(s):

Computational Complexity ◽

Information Flow ◽

Download Full-text

CREATIVE TECHNOLOGIES OF THE INFORMATION FLOW SEGMENTATION IN THE HEADER COMPLEX OF THE CREOLIZED MEDIA TEXT (on material of the “Der Spiegel” magazine)

Cherepovets State University Bulletin ◽

10.23859/1994-0637-2019-2-89-16 ◽

2019 ◽

Vol 2 (89) ◽

pp. 161-172

Author(s):

Tatyana Lenkova

Keyword(s):

Information Flow ◽

Flow Segmentation

Download Full-text

Monitoring and Controlling Access to Privacy Sensitive Resources of Android System

SINDH UNIVERSITY RESEARCH JOURNAL -SCIENCE SERIES ◽

10.26692/surj/2020.03.08 ◽

2020 ◽

Vol 52 (1) ◽

pp. 49-56

Author(s):

S .JAN ◽

A RAUF ◽

R SAEED ◽

N.M FANCY ◽

F.Q KHAN ◽

...

Keyword(s):

Download Full-text

La régulation du flux d'information entre les niveaux de production : l'accord grammatical comme outil d'investigation//The regulation of information flow between production levels : Grammatical agreement as an investigation tool

L’Année psychologique ◽

10.3406/psy.2001.1343 ◽

2001 ◽

Vol 101 (3) ◽

pp. 463-493

Author(s):

Julie Franck ◽

Michel Hupet

Keyword(s):

Information Flow ◽

Grammatical Agreement

Download Full-text

Faculty Opinions recommendation of Tonic and spillover inhibition of granule cells control information flow through cerebellar cortex.

Faculty Opinions – Post-Publication Peer Review of the Biomedical Literature ◽

10.3410/f.1005031.59006 ◽

2002 ◽

Author(s):

Erik De Schutter

Keyword(s):

Information Flow ◽

Cerebellar Cortex ◽

Granule Cells ◽

Control Information ◽

Download Full-text