A Certificate Infrastructure for Machine-Checked Proofs of Conditional Information Flow

Lecture Notes in Computer Science - Principles of Security and Trust ◽

10.1007/978-3-642-28641-4_20 ◽

2012 ◽

pp. 369-389 ◽

Author(s):

Torben Amtoft ◽

Josiah Dodds ◽

Zhi Zhang ◽

Andrew Appel ◽

Lennart Beringer ◽

...

Keyword(s):

Information Flow ◽

Conditional Information

Download Full-text

Verification condition generation for conditional information flow

Proceedings of the 2007 ACM workshop on Formal methods in security engineering - FMSE '07 ◽

10.1145/1314436.1314438 ◽

2007 ◽

Author(s):

Torben Amtoft ◽

Anindya Banerjee

Keyword(s):

Information Flow ◽

Verification Condition ◽

Conditional Information

Download Full-text

Conditional Information Flow Policies and Unwinding Relations

Trustworthy Global Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-30065-3_14 ◽

2012 ◽

pp. 227-241 ◽

Author(s):

Chenyi Zhang

Keyword(s):

Information Flow ◽

Conditional Information

Download Full-text

Specification and Checking of Software Contracts for Conditional Information Flow

Design and Verification of Microprocessor Systems for High-Assurance Applications ◽

10.1007/978-1-4419-1539-9_12 ◽

2010 ◽

pp. 341-379 ◽

Author(s):

Torben Amtoft ◽

John Hatcliff ◽

Edwin Rodríguez ◽

Robby ◽

Jonathan Hoag ◽

...

Keyword(s):

Information Flow ◽

Conditional Information ◽

Software Contracts

Download Full-text

Specification and Checking of Software Contracts for Conditional Information Flow

Lecture Notes in Computer Science - FM 2008: Formal Methods ◽

10.1007/978-3-540-68237-0_17 ◽

2008 ◽

pp. 229-245 ◽

Author(s):

Torben Amtoft ◽

John Hatcliff ◽

Edwin Rodríguez ◽

Robby ◽

Jonathan Hoag ◽

...

Keyword(s):

Information Flow ◽

Conditional Information ◽

Software Contracts

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

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

Faculty Opinions recommendation of Identification of information flow-modulating drug targets: a novel bridging paradigm for drug discovery.

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

10.3410/f.1119053.575191 ◽

2008 ◽

Author(s):

Carlos Morel

Keyword(s):

Drug Discovery ◽

Information Flow ◽

Download Full-text