|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 202 occurrences of 123 keywords
|
|
|
Results
Found 281 publication records. Showing 281 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
9 | Andrea Marin, Carla Piazza, Sabina Rossi |
A Process Algebra for (Delimited) Persistent Stochastic Non-Interference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems, 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings., pp. 222-238, 2019, Springer, 978-3-030-30280-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
9 | Andrea Marin, Carla Piazza, Sabina Rossi |
A Process Algebra for (Delimited) Persistent Stochastic Non-Interference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019., 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
9 | Jane Hillston, Andrea Marin, Carla Piazza, Sabina Rossi |
Delimited Persistent Stochastic Non-Interference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VALUETOOLS ![In: Proceedings of the 12th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2019, Universitat de les Illes Balears, Palma de Mallorca, Spain, March 12-15, 2019, pp. 135-142, 2019, ACM, 978-1-4503-6596-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
9 | Kento Tariki, Takuya Kiyokawa, Tomoki Nagatani, Jun Takamatsu, Tsukasa Ogasawara |
3D Model-Based Non-interference Assembly Sequence Generation for Products with a Large Number of Parts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIS/RAM ![In: 2019 IEEE International Conference on Cybernetics and Intelligent Systems (CIS) and IEEE Conference on Robotics, Automation and Mechatronics (RAM), Bangkok, Thailand, November 18-20, 2019, pp. 142-147, 2019, IEEE, 978-1-7281-3458-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
9 | Roberto Giacobazzi, Isabella Mastroeni |
Abstract Non-Interference: A Unifying Framework for Weakening Information-flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Priv. Secur. ![In: ACM Trans. Priv. Secur. 21(2), pp. 9:1-9:31, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
9 | Ghazwan Alsoufi, Xinan Yang, Abdellah Salhi |
Combined quay crane assignment and quay crane scheduling with crane inter-vessel movement and non-interference constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Oper. Res. Soc. ![In: J. Oper. Res. Soc. 69(3), pp. 372-383, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
9 | Paolo Baldan, Alessandro Beggiato |
Multilevel transitive and intransitive non-interference, causally. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 706, pp. 54-82, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
9 | Jane Hillston, Carla Piazza, Sabina Rossi |
Persistent Stochastic Non-Interference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, EXPRESS/SOS 2018, Beijing, China, September 3, 2018., pp. 53-68, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
9 | Gilles Barthe, Sonia Belaïd, François Dupressoir, Pierre-Alain Fouque, Benjamin Grégoire, François-Xavier Standaert, Pierre-Yves Strub |
Improved Parallel Mask Refreshing Algorithms: Generic Solutions with Parametrized Non-Interference & Automated Optimizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2018, pp. 505, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
9 | Gaëtan Cassiers, François-Xavier Standaert |
Improved Bitslice Masking: from Optimized Non-Interference to Probe Isolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2018, pp. 438, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
9 | Travis H. Boraten, Avinash Karanth Kodi |
Securing NoCs Against Timing Attacks with Non-Interference Based Adaptive Routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NOCS ![In: Twelfth IEEE/ACM International Symposium on Networks-on-Chip, NOCS 2018, Torino, Italy, October 4-5, 2018, pp. 14:1-14:8, 2018, IEEE, 978-1-5386-4893-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
9 | Aleksandr Karbyshev, Kasper Svendsen, Aslan Askarov, Lars Birkedal |
Compositional Non-interference for Concurrent Programs via Separation and Framing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POST ![In: Principles of Security and Trust - 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, pp. 53-78, 2018, Springer, 978-3-319-89721-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
9 | Francesco Basile, Gianmaria De Tommasi |
Non-interference assessment in bounded Petri nets via Integer Linear Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: 2018 Annual American Control Conference, ACC 2018, Milwaukee, WI, USA, June 27-29, 2018, pp. 3056-3061, 2018, IEEE, 978-1-5386-5428-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
9 | Francesco Basile, Gianmaria De Tommasi, Claudio Sterle |
Non-Interference Enforcement in Bounded Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 57th IEEE Conference on Decision and Control, CDC 2018, Miami, FL, USA, December 17-19, 2018, pp. 4827-4832, 2018, IEEE, 978-1-5386-1395-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
9 | Fanwen Meng |
A Dynamic Non-Interference Trust Chain Model Based on Security Process Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITITS ![In: Information Technology and Intelligent Transportation Systems - Proceedings of the 3rd International Conference on Information Technology and Intelligent Transportation Systems (ITITS 2018) - Xi'an, China, September 15-16, 2018, pp. 341-348, 2018, IOS Press, 978-1-61499-938-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
9 | Samuele Buro, Isabella Mastroeni |
Abstract Code Injection - A Semantic Approach Based on Abstract Non-Interference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation - 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings, pp. 116-137, 2018, Springer, 978-3-319-73720-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
9 | Xie Xie, Li Zhou, Yongyue Zheng, Fucai Wan |
Scheduling Multi-Crane with Non-interference Constraint in Steel Production. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIA ![In: IEEE International Conference on Information and Automation, ICIA 2018, Wuyishan, China, August 11-13, 2018, pp. 1571-1576, 2018, IEEE, 978-1-5386-8069-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
9 | Simon Greiner |
A Framework for Non-Interference in Component-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
9 | Gabriela N. Maschietto, Yassine Ouazene, Martín Gómez Ravetti, Maurício C. de Souza, Farouk Yalaoui |
Crane scheduling problem with non-interference constraints in a steel coil distribution centre. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Prod. Res. ![In: Int. J. Prod. Res. 55(6), pp. 1607-1622, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
9 | Jack Williams 0001, J. Garrett Morris, Philip Wadler, Jakub Zalewski |
Mixed Messages: Measuring Conformance and Non-Interference in TypeScript (Artifact). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Artifacts Ser. ![In: Dagstuhl Artifacts Ser. 3(2), pp. 08:1-08:2, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
9 | Petr Kuznetsov, Sathya Peri |
Non-interference and local correctness in transactional memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 688, pp. 103-116, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
9 | Béatrice Bérard, Loïc Hélouët, John Mullins |
Non-interference in Partial Order Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 16(2), pp. 44:1-44:34, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
9 | Gurvan Cabon, Alan Schmitt |
Annotated Multisemantics To Prove Non-Interference Analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS@CCS ![In: Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2017, Dallas, TX, USA, October 30, 2017, pp. 49-62, 2017, ACM, 978-1-4503-5099-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
9 | Ted Kaminski, Eric Van Wyk |
Ensuring non-interference of composable language extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLE ![In: Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2017, Vancouver, BC, Canada, October 23-24, 2017, pp. 163-174, 2017, ACM, 978-1-4503-5525-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
9 | Jack Williams 0001, J. Garrett Morris, Philip Wadler, Jakub Zalewski |
Mixed Messages: Measuring Conformance and Non-Interference in TypeScript. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 31st European Conference on Object-Oriented Programming, ECOOP 2017, June 19-23, 2017, Barcelona, Spain, pp. 28:1-28:29, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-035-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
9 | Luca Bernardinello, Görkem Kilinç 0001, Lucia Pomello |
Non-interference Notions Based on Reveals and Excludes Relations for Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Petri Nets Other Model. Concurr. ![In: Transactions on Petri Nets and Other Models of Concurrency XI, pp. 49-70, 2016, Springer, 978-3-662-53400-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
9 | Zhe Hou, David Sanán, Alwen Tiu, Yang Liu 0003 |
A formal model for the SPARCv8 ISA and a proof of non-interference for the LEON3 processor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2016, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
9 | Liang Chen, Rongren Zeng, Feng Li, Weiming Yang |
基于无干扰理论的信任链传递模型 (Trust Chain Transfer Model Based on Non-interference Theory). ![Search on Bibsonomy](Pics/bibsonomy.png) |
计算机科学 ![In: 计算机科学 43(10), pp. 141-144, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
9 | Gilles Barthe, Sonia Belaïd, François Dupressoir, Pierre-Alain Fouque, Benjamin Grégoire, Pierre-Yves Strub, Rébecca Zucchini |
Strong Non-Interference and Type-Directed Higher-Order Masking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, Vienna, Austria, October 24-28, 2016, pp. 116-129, 2016, ACM, 978-1-4503-4139-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
9 | Filippo Del Tedesco, David Sands 0001, Alejandro Russo |
Fault-Resilient Non-interference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: IEEE 29th Computer Security Foundations Symposium, CSF 2016, Lisbon, Portugal, June 27 - July 1, 2016, pp. 401-416, 2016, IEEE Computer Society, 978-1-5090-2607-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
9 | Simon Greiner, Daniel Grahl |
Non-interference with What-Declassification in Component-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: IEEE 29th Computer Security Foundations Symposium, CSF 2016, Lisbon, Portugal, June 27 - July 1, 2016, pp. 253-267, 2016, IEEE Computer Society, 978-1-5090-2607-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
9 | Paolo Baldan, Alessandro Beggiato |
Multilevel Transitive and Intransitive Non-interference, Causally. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Models and Languages - 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings, pp. 1-17, 2016, Springer, 978-3-319-39518-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
9 | Peter Aldous, Matthew Might |
A Posteriori Taint-Tracking for Demonstrating Non-interference in Expressive Low-Level Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Security and Privacy Workshops ![In: 2016 IEEE Security and Privacy Workshops, SP Workshops 2016, San Jose, CA, USA, May 22-26, 2016, pp. 179-184, 2016, IEEE Computer Society, 978-1-5090-3690-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
9 | Görkem Kilinç Soylu |
Formal notions of non-interference and liveness for distributed systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
RDF |
|
9 | Paolo Baldan, Alberto Carraro |
A Causal View on Non-Interference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 140(1), pp. 1-38, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
9 | Ming Liu 0008, Feifeng Zheng, Jinfeng Li |
Scheduling small number of quay cranes with non-interference constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Optim. Lett. ![In: Optim. Lett. 9(2), pp. 403-412, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
9 | Yining Wu, Mikolaj Podlaszewski |
Implementing crash-resistance and non-interference in logic-based argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 25(2), pp. 303-333, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
9 | Luca Bernardinello, Görkem Kilinç 0001, Lucia Pomello |
Non-Interference Notions Based on Reveals and Excludes Relations for Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE @ Petri Nets ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), including the International Workshop on Petri Nets for Adaptive Discrete Event Control Systems (ADECS 2015) A satellite event of the conferences: 36th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2015 and 15th International Conference on Application of Concurrency to System Design ACSD 2015, Brussels, Belgium, June 22-23, 2015., pp. 59-78, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
9 | Béatrice Bérard, Loïc Hélouët, John Mullins |
Non-interference in Partial Order Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 15th International Conference on Application of Concurrency to System Design, ACSD 2015, Brussels, Belgium, June 21-26, 2015, pp. 80-89, 2015, IEEE Computer Society, 978-1-4673-7882-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
9 | Peter Aldous, Matthew Might |
Static Analysis of Non-interference in Expressive Low-Level Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings, pp. 1-17, 2015, Springer, 978-3-662-48287-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
9 | Martín Ochoa, Jorge Cuéllar, Alexander Pretschner, Per A. Hallgren |
Idea: Unwinding Based Model-Checking and Testing for Non-Interference on EFSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings, pp. 34-42, 2015, Springer, 978-3-319-15617-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
9 | Filippo Del Tedesco, David Sands 0001, Alejandro Russo |
Type-Directed Compilation for Fault-Tolerant Non-Interference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1410.4917, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
9 | Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna 0001, David Pichardie |
System-level non-interference for constant-time cryptography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2014, pp. 422, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
9 | Thai Son Hoang, A. K. McIver, Larissa Meinicke, Carroll C. Morgan, Anthony Sloane, E. Susatyo |
Abstractions of non-interference security: probabilistic versus possibilistic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 26(1), pp. 169-194, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
9 | Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Daniel Luna, David Pichardie |
System-level Non-interference for Constant-time Cryptography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, Scottsdale, AZ, USA, November 3-7, 2014, pp. 1267-1279, 2014, ACM, 978-1-4503-2957-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
9 | Paolo Baldan, Alberto Carraro |
Non-interference by Unfolding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Application and Theory of Petri Nets and Concurrency - 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings, pp. 190-209, 2014, Springer, 978-3-319-07733-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
9 | Petr Kuznetsov, Sathya Peri |
Non-interference and Local Correctness in Transactional Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCN ![In: Distributed Computing and Networking - 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014. Proceedings, pp. 197-211, 2014, Springer, 978-3-642-45248-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
9 | Wilayat Khan, Stefano Calzavara, Michele Bugliesi, Willem De Groef, Frank Piessens |
Client Side Web Session Integrity as a Non-interference Property. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISS ![In: Information Systems Security - 10th International Conference, ICISS 2014, Hyderabad, India, December 16-20, 2014, Proceedings, pp. 89-108, 2014, Springer, 978-3-319-13840-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
9 | Aleksandar S. Dimovski |
Ensuring Secure Non-interference of Programs by Game Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STM ![In: Security and Trust Management - 10th International Workshop, STM 2014, Wroclaw, Poland, September 10-11, 2014. Proceedings, pp. 81-96, 2014, Springer, 978-3-319-11850-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
9 | John Mullins, Moez Yeddes |
Opacity with Orwellian Observers and Intransitive Non-Interference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODES ![In: 12th International Workshop on Discrete Event Systems, WODES 2014, Cachan, France, May 14-16, 2014., pp. 344-349, 2014, International Federation of Automatic Control, 978-3-902823-61-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
9 | Paolo Baldan, Francesco Burato, Alberto Carraro |
Intransitive Non-Interference by Unfolding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers, pp. 269-287, 2014, Springer, 978-3-319-15316-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
9 | Filippo Del Tedesco, Alejandro Russo, David Sands 0001 |
Fault-Tolerant Non-interference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems - 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings, pp. 60-76, 2014, Springer, 978-3-319-04896-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
9 | Marco Mariotti, Roberto Veneziani |
On the impossibility of complete Non-Interference in Paretian social judgements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Econ. Theory ![In: J. Econ. Theory 148(4), pp. 1689-1699, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
9 | Gilles Barthe, David Pichardie, Tamara Rezk |
A certified lightweight non-interference Java bytecode verifier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 23(5), pp. 1032-1081, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
9 | John Mullins, Moez Yeddes |
Opacity with Orwellian Observers and Intransitive Non-interference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1312.6426, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
9 | Isabella Mastroeni |
Abstract interpretation-based approaches to Security - A Survey on Abstract Non-Interference and its Challenging Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Festschrift for Dave Schmidt ![In: Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday, Manhattan, Kansas, USA, 19-20th September 2013., pp. 41-65, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
9 | Mounir Assaf, Julien Signoles, Frédéric Tronel, Eric Totel |
Program Transformation for Non-interference Verification on Programs with Pointers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEC ![In: Security and Privacy Protection in Information Processing Systems - 28th IFIP TC 11 International Conference, SEC 2013, Auckland, New Zealand, July 8-10, 2013. Proceedings, pp. 231-244, 2013, Springer, 978-3-642-39217-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
9 | Jérémy Planul, John C. Mitchell |
Oblivious Program Execution and Path-Sensitive Non-interference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 2013 IEEE 26th Computer Security Foundations Symposium, New Orleans, LA, USA, June 26-28, 2013, pp. 66-80, 2013, IEEE Computer Society, 978-0-7695-5031-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
9 | David Sands 0001 |
Fault-tolerant non-interference: invited talk abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS ![In: Proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, PLAS 2013, Seattle, WA, USA, June 20, 2013, pp. 1-2, 2013, ACM, 978-1-4503-2144-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
9 | Damiano Zanardini |
Class-level Non-Interference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Gener. Comput. ![In: New Gener. Comput. 30(2-3), pp. 241-270, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
9 | Petr Kuznetsov, Sathya Peri |
On Non-Interference of Transactions ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1211.6315, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
9 | Sathya Peri, Krishnamurthy Vidyasankar |
An Efficient Scheduler for Closed Nested Transactions that Satisfies All-Reads-Consistency and Non-interference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCN ![In: Distributed Computing and Networking - 13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012. Proceedings, pp. 409-423, 2012, Springer, 978-3-642-25958-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
9 | Martín Ochoa, Jan Jürjens, Jorge Cuéllar |
Non-interference on UML State-Charts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (50) ![In: Objects, Models, Components, Patterns - 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings, pp. 219-235, 2012, Springer, 978-3-642-30560-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
9 | Matias David Lee, Pedro R. D'Argenio |
Semantics for Interactive Sequential Systems and Non-Interference Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLEI Electron. J. ![In: CLEI Electron. J. 14(3), 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
9 | Steffen van Bakel, Maria Grazia Vigliotti |
Note on a simple type system for non-interference ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1109.4843, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
9 | Lei Gong, Lu Tian, Fulian Zhang |
Application information flow non-interference transmission model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMEIT ![In: International Conference on Electronic and Mechanical Engineering and Information Technology, EMEIT 2011, Harbin, Heilongjiang, China, 12-14 August, 2011, pp. 2306-2309, 2011, IEEE, 978-1-61284-087-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
9 | Marc Frappier, Amel Mammar |
Proving Non-interference on Reachability Properties: A Refinement Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 18th Asia Pacific Software Engineering Conference, APSEC 2011, Ho Chi Minh, Vietnam, December 5-8, 2011, pp. 25-32, 2011, IEEE Computer Society, 978-1-4577-2199-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
9 | Nataliia Bielova, Dominique Devriese, Fabio Massacci, Frank Piessens |
Reactive non-interference for a browser model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSS ![In: 5th International Conference on Network and System Security, NSS 2011, Milan, Italy, September 6-8, 2011, pp. 97-104, 2011, IEEE, 978-1-4577-0458-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
9 | Roberto Gorrieri, Matteo Vernali |
On Intransitive Non-interference in Some Models of Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOSAD ![In: Foundations of Security Analysis and Design VI - FOSAD Tutorial Lectures, pp. 125-151, 2011, Springer, 978-3-642-23081-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
9 | Mauricio Alba-Castro, María Alpuente, Santiago Escobar 0001 |
Abstract Certification of Global Non-Interference in Rewriting Logic ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1006.4304, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
9 | Eike Best, Philippe Darondeau, Roberto Gorrieri |
On the Decidability of Non Interference over Unbounded Petri Nets ![Search on Bibsonomy](Pics/bibsonomy.png) |
SecCo ![In: Proceedings 8th International Workshop on Security Issues in Concurrency, SecCo 2010, Paris, France, 30th August 2010., pp. 16-33, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
9 | Roberto Giacobazzi, Isabella Mastroeni |
A Proof System for Abstract Non-interference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 20(2), pp. 449-479, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
9 | Roya Ensafi, Jong Chun Park, Deepak Kapur, Jedidiah R. Crandall |
Idle Port Scanning and Non-interference Analysis of Network Protocol Stacks Using Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Security Symposium ![In: 19th USENIX Security Symposium, Washington, DC, USA, August 11-13, 2010, Proceedings, pp. 257-272, 2010, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
9 | Mauricio Alba-Castro, María Alpuente, Santiago Escobar 0001 |
Approximating Non-interference and Erasure in Rewriting Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 124-132, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
9 | Matias David Lee, Pedro R. D'Argenio |
A Refinement Based Notion of Non-interference for Interface Automata: Compositionality, Decidability and Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCCC ![In: SCCC 2010, Proceedings of the XXIX International Conference of the Chilean Computer Science Society, Antofagasta, Chile, 15-19 November 2010, pp. 280-289, 2010, IEEE Computer Society, 978-0-7695-4400-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
9 | Marco Mariotti, Roberto Veneziani |
'Non-interference' implies equality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soc. Choice Welf. ![In: Soc. Choice Welf. 32(1), pp. 123-128, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Aleksy Schubert, Daria Walukiewicz-Chrzaszcz |
The Non-Interference Protection in BML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BYTECODE@ETAPS ![In: Proceedings of the Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, BYTECODE@ETAPS 2009, York, UK, March 29, 2009, pp. 113-127, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Nadia Busi, Roberto Gorrieri |
Structural non-interference in elementary and trace nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 19(6), pp. 1065-1090, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Moez Yeddes, Feng Lin 0001, Nejib Ben Hadj-Alouane |
Modifying Security Policies for the Satisfaction of Intransitive Non-Interference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 54(8), pp. 1961-1966, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Pi-Shan Hsu, Te-Jeng Chang, Ming-Hsiung Wu |
A New Diagnostic Mechanism of Instruction: A Dynamic, Real-Time and Non-Interference Quantitative Measurement Technique for Adaptive E-Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Distance Educ. Technol. ![In: Int. J. Distance Educ. Technol. 7(3), pp. 85-91, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Mohit Tiwari, Xun Li 0001, Hassan M. G. Wassel, Frederic T. Chong, Timothy Sherwood |
Execution leases: a hardware-supported mechanism for enforcing strong non-interference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: 42st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-42 2009), December 12-16, 2009, New York, New York, USA, pp. 493-504, 2009, ACM, 978-1-60558-798-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
gate level information flow tracking, covert channels, high assurance systems, timing channels |
9 | Mauricio Alba-Castro, María Alpuente, Santiago Escobar 0001 |
Abstract Certification of Global Non-interference in Rewriting Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCO ![In: Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers, pp. 105-124, 2009, Springer, 978-3-642-17070-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Jiong Zhang, Zixu Lv, Xiang Long, Yuebin Bai |
Multi-core and VMM Based Non-interference Test Method of Embedded System Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ScalCom-EmbeddedCom ![In: International Conference on Scalable Computing and Communications / Eighth International Conference on Embedded Computing, ScalCom-EmbeddedCom 2009, Dalian, China, September 25-27, 2009, pp. 31-36, 2009, IEEE Computer Society, 978-0-7695-3825-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Silvia Crafa, Matteo Mio, Marino Miculan, Carla Piazza, Sabina Rossi |
PicNIc - Pi-calculus non-interference checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 8th International Conference on Application of Concurrency to System Design (ACSD 2008), Xi'an, China, June 23-27, 2008, pp. 33-38, 2008, IEEE, 978-1-4244-1838-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Jesse D. Bingham |
Automatic Non-Interference Lemmas for Parameterized Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2008, Portland, Oregon, USA, 17-20 November 2008, pp. 1-8, 2008, IEEE, 978-1-4244-2735-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | David Clark 0001, Sebastian Hunt |
Non-Interference for Deterministic Interactive Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust, 5th International Workshop, FAST 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers, pp. 50-66, 2008, Springer. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Damiano Zanardini |
Analyzing Non-Interference with respect to Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Theoretical Computer Science, 10th Italian Conference, ICTCS 2007, Rome, Italy, October 3-5, 2007, Proceedings, pp. 57-69, 2007, World Scientific, 981-277-098-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
9 | Judicaël Courant, Cristian Ene, Yassine Lakhnech |
Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings, pp. 364-375, 2007, Springer, 978-3-540-77049-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Silvia Crafa, Sabina Rossi |
P-congruences as non-interference for the pi-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMSE ![In: Proceedings of the 2006 ACM workshop on Formal methods in security engineering, FMSE 2006, Alexandria, VA, USA, November 3, 2006, pp. 13-22, 2006, ACM, 1-59593-550-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
process calculi, noninterference, downgrading |
9 | Bart Jacobs 0002, Frank Piessens, Wolfram Schulte |
VC generation for functional behavior and non-interference of iterators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAVCBS@FSE ![In: Proceedings of the 2006 Conference on Specification and Verification of Component-Based Systems, SAVCBS '06, Portland, Oregon, USA, November 10-11, 2006, pp. 67-70, 2006, ACM. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Jacob Zimmermann, George M. Mohay |
Distributed intrusion detection in clusters based on non-interference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSW ![In: The proceedings of the Fourth Australasian Symposium on Grid Computing and e-Research (AusGrid 2006) and the Fourth Australasian Information Security Workshop (Network Security) (AISW 2006), Hobart, Tasmania, Australia, January 2006, pp. 89-95, 2006, Australian Computer Society, 1-920-68236-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
clusters, intrusion detection, MPI |
9 | Damiano Zanardini |
Certified abstract non-interference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2006 |
RDF |
|
9 | Matthew Hennessy |
The security pi-calculus and non-interference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 63(1), pp. 3-34, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Guillaume Gardey, John Mullins, Olivier H. Roux |
Non-Interference Control Synthesis for Security Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SecCO@CONCUR ![In: Proceedings of the International Workshop on Security and Concurrency, SecCo@CONCUR 2005, San Francisco, CA, USA, August 22, 2005, pp. 35-53, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Michele Bugliesi, Sabina Rossi |
Non-interference proof techniques for the analysis of cryptographic protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Secur. ![In: J. Comput. Secur. 13(1), pp. 87-113, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Isabella Mastroeni |
Abstract non-interference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2005 |
RDF |
|
9 | Simone Tini |
Rule formats for compositional non-interference properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 60-61, pp. 353-400, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky |
Approximate Non-interference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Secur. ![In: J. Comput. Secur. 12(1), pp. 37-82, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Nejib Ben Hadj-Alouane, Stéphane Lafrance, Feng Lin 0001, John Mullins, Moez Yeddes |
An algorithmic approach to verification of intransitive non-interference in security policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 43rd IEEE Conference on Decision and Control, CDC 2004, Nassau, Bahamas, December 14-17, 2004, pp. 51-56, 2004, IEEE, 0-7803-8682-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Roberto Barbuti, Luca Tesei |
A Decidable Notion of Timed Non-Interference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 54(2-3), pp. 137-150, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
Displaying result #101 - #200 of 281 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ >>] |
|