Non-interference

Results: 253



#Item
21Combining Type-Based Analysis and Model Checking for Finding Counterexamples against Non-Interference Hiroshi Unno Naoki Kobayashi

Combining Type-Based Analysis and Model Checking for Finding Counterexamples against Non-Interference Hiroshi Unno Naoki Kobayashi

Add to Reading List

Source URL: www.kb.ecei.tohoku.ac.jp

Language: English - Date: 2006-12-04 00:55:18
    22Combining Type-Based Analysis and Model Checking for Finding Counterexamples against Non-Interference Hiroshi Unno Naoki Kobayashi

    Combining Type-Based Analysis and Model Checking for Finding Counterexamples against Non-Interference Hiroshi Unno Naoki Kobayashi

    Add to Reading List

    Source URL: www-kb.is.s.u-tokyo.ac.jp

    Language: English - Date: 2006-12-04 00:55:18
      23August 30, :53 WSPC - Proceedings Trim Size: 9.75in x 6.5in

      August 30, :53 WSPC - Proceedings Trim Size: 9.75in x 6.5in

      Add to Reading List

      Source URL: www.jsbi.org

      Language: English - Date: 2008-01-07 20:44:58
      24A JMM-Faithful Non-Interference Calculus for Java Vladimir Klebanov University of Koblenz-Landau Institute of Computer Science

      A JMM-Faithful Non-Interference Calculus for Java Vladimir Klebanov University of Koblenz-Landau Institute of Computer Science

      Add to Reading List

      Source URL: formal.iti.kit.edu

      Language: English - Date: 2014-02-04 15:10:30
        25Electronic Notes in Theoretical Computer ScienceURL: http://www.elsevier.nl/locate/entcs/volume83.html 18 pages The Security Picalculus and Non-interference (Extended Abstract) Matthew Hennessy 1,2

        Electronic Notes in Theoretical Computer ScienceURL: http://www.elsevier.nl/locate/entcs/volume83.html 18 pages The Security Picalculus and Non-interference (Extended Abstract) Matthew Hennessy 1,2

        Add to Reading List

        Source URL: www.entcs.org

        Language: English - Date: 2004-04-02 17:22:28
          26HealthPolCom Case Study Explaining and Defending the Medicare Part D Program Situation: Industry representatives needed help responding to proposals that would have Situation repealed the non-interference non interferenc

          HealthPolCom Case Study Explaining and Defending the Medicare Part D Program Situation: Industry representatives needed help responding to proposals that would have Situation repealed the non-interference non interferenc

          Add to Reading List

          Source URL: www.healthpolcom.com

          Language: English - Date: 2011-12-18 16:12:14
            27Combining Type-Based Analysis and Model Checking for Finding Counterexamples against Non-Interference Hiroshi Unno Naoki Kobayashi

            Combining Type-Based Analysis and Model Checking for Finding Counterexamples against Non-Interference Hiroshi Unno Naoki Kobayashi

            Add to Reading List

            Source URL: www.cs.tsukuba.ac.jp

            Language: English - Date: 2011-06-15 23:13:40
              28Non-abelian statistics in the interference noise of the Moore--Read quantum Hall state

              Non-abelian statistics in the interference noise of the Moore--Read quantum Hall state

              Add to Reading List

              Source URL: www.fysik.su.se

              Language: English - Date: 2013-06-03 13:57:42
              29THE PRINCIPLE OF NON-INTERVENTION IN CONTEMPORARY INTERNATIONAL LAW: NON-INTERFERENCE IN A STATE’S INTERNAL AFFAIRS USED TO BE A RULE OF INTERNATIONAL LAW: IS IT STILL? A summary of the Chatham House International Law

              THE PRINCIPLE OF NON-INTERVENTION IN CONTEMPORARY INTERNATIONAL LAW: NON-INTERFERENCE IN A STATE’S INTERNAL AFFAIRS USED TO BE A RULE OF INTERNATIONAL LAW: IS IT STILL? A summary of the Chatham House International Law

              Add to Reading List

              Source URL: www.chathamhouse.org

              Language: English - Date: 2014-03-20 06:30:54
                30Microsoft Word - ComregXX_Ballymahon.doc

                Microsoft Word - ComregXX_Ballymahon.doc

                Add to Reading List

                Source URL: www.comreg.ie

                Language: English - Date: 2004-09-13 12:26:29