Information flow - PDFSEARCH.IO - Document Search Engine

Information flow
Results: 2315

#	Item
1	Nickel: A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, Xi Wang University of Washington Add to Reading List Source URL: unsat.cs.washington.edu Language: English - Date: 2018-09-27 23:32:05 Formal methods Software engineering Computing Logic in computer science Non-interference Exception handling Formal verification Refinement Thread Futures and promises Covert channel Application programming interface
2	Nickel A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, and Xi Wang Add to Reading List Source URL: unsat.cs.washington.edu Language: English - Date: 2018-10-10 04:10:19 Aircraft instruments Standards Covert channel Steganography ARINC 653 ARINC Verification Human behavior Technology User interface design Design
3	A Semantic Approach to Secure Information Flow K. Rustan M. Leino1 and Rajeev Joshi2 1 DEC SRC, Palo Alto, CA 94301, USA Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:26:03 Mathematical logic Logic Mathematics Predicate logic Formal methods Semantics Edsger W. Dijkstra Predicate transformer semantics First-order logic FO Quantifier Equality
4	arXiv:1608.01654v2 [cs.PL] 7 NovHypercollecting Semantics and its Application to Static Analysis of Information Flow Mounir Assaf Add to Reading List Source URL: arxiv.org Language: English - Date: 2016-11-08 02:57:20
5	Rain: Refinable Attack Investigation with On-demand Inter-Process Information Flow Tracking Add to Reading List Source URL: acmccs.github.io Language: English - Date: 2017-12-30 21:51:59 Metaphysics Humanities Terminology Archaeological theory Data collection Evidence law Museology Provenance Seeds Causality Inode System call
6	Computing and Estimating Information Leakage with a Quantitative Point-to-Point Information Flow Model by Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2017-06-07 20:45:26 Information theory Metaphysics Physics Information Information flow Entropy Leakage Mutual information
7	Treasury Providing a seamless and transparent flow of information to synchronize the front and back offices, Temenos’ award winning treasury solution delivers real-time links to the market for instant and accurate data Add to Reading List Source URL: www.temenos.com Language: English - Date: 2017-05-15 12:36:38 Economy Finance Money Financial markets Hedge Treasury management Set-off Society for Worldwide Interbank Financial Telecommunication Short
8	Cryptographically Secure Information Flow Control on Key-Value Stores Lucas Waye Pablo Buiras Add to Reading List Source URL: people.seas.harvard.edu Language: English - Date: 2017-10-26 12:58:08
9	A New Type System for Secure Information Flow Geoffrey Smith School of Computer Science Florida International University Miami, Florida 33199, USA Add to Reading List Source URL: users.cis.fiu.edu Language: English - Date: 2009-09-17 09:07:51
10	Issue 03 AugustPresident’s Column Warm greetings to all chapters and their respective members. We have had an active flow of information since our inaugural launching in March this year, which is a positive refl Add to Reading List Source URL: www.spengineer.org Language: English - Date: 2010-08-25 18:31:49

UPDATE