Noninterference - PDFSEARCH.IO - Document Search Engine

Noninterference
Results: 30

#	Item
1	Hybrid Monitors for Concurrent Noninterference Aslan Askarov Aarhus University Stephen Chong Add to Reading List Source URL: askarov.net Language: English - Date: 2017-05-02 08:00:35
2	Hybrid Monitors for Concurrent Noninterference Aslan Askarov Aarhus University Stephen Chong Add to Reading List Source URL: people.seas.harvard.edu Language: English - Date: 2015-07-14 09:16:06
3	Probabilistic Noninterference in a Concurrent Language † Dennis Volpano Computer Science Department Naval Postgraduate School Monterey, CA 93943, USA Add to Reading List Source URL: users.cis.fiu.edu Language: English - Date: 2009-09-17 09:05:18
4	Journal of Computer Security–623 IOS Press 591 Improved typings for probabilistic noninterference Add to Reading List Source URL: users.cis.fiu.edu Language: English - Date: 2007-01-31 09:52:22
5	Testing Noninterference, Quickly ∗ (short talk) C˘at˘alin Hrit¸cu1 John Hughes2 Benjamin C. Pierce1 Antal Spector-Zabusky1 Dimitrios Vytiniotis3 Arthur Azevedo de Amorim1 Leonidas Lampropoulos1 1 Add to Reading List Source URL: csf2013.seas.harvard.edu Language: English - Date: 2013-06-24 18:05:00
6	Hybrid Monitoring of Attacker Knowledge Frédéric Besson, Nataliia Bielova and Thomas Jensen Inria, France Abstract—Enforcement of noninterference requires proving that an attacker’s knowledge about the initial Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2016-07-18 05:18:35
7	Noninterference for Free William J. Bowman and Amal Ahmed Let’s write a secure program • Add to Reading List Source URL: www.williamjbowman.com - Date: 2018-03-18 12:54:47
8	Noninterference for Free ∗ William J. Bowman Amal Ahmed Northeastern University, USA Add to Reading List Source URL: www.williamjbowman.com - Date: 2018-03-18 12:54:47
9	Noninterference for Free (Technical Appendix) William J. Bowman Amal Ahmed Add to Reading List Source URL: www.williamjbowman.com - Date: 2018-03-18 12:54:47
10	The Instability of Freedom as Noninterference: The Case of Isaiah Berlin Add to Reading List Source URL: www.princeton.edu - Date: 2013-01-31 11:10:26

UPDATE