Mils

Results: 78



#Item
21

PDF Document

Add to Reading List

Source URL: mils-workshop-2016.mils.community

- Date: 2015-11-04 02:53:44
    22

    Evaluation paradigm selection according to Common Criteria for an incremental product development Andreas Daniel Sinnhofer Wolfgang Raschke

    Add to Reading List

    Source URL: mils-workshop-2015.mils.community

    Language: English - Date: 2015-01-11 05:49:06
      23

      An Architecture-Centric Process for MILS Development Julien Delange, Min-Young Nam, Peter Feiler, and Will Klieber Carnegie Mellon Software Engineering Institute 4500 Fifth Avenue Pittsburgh, PA, USA

      Add to Reading List

      Source URL: mils-workshop-2016.mils.community

      Language: English - Date: 2016-01-15 03:31:49
        24

        Partitioning in Safety and Security: Mapping to MILS Core Partitioning Mechanisms Holger Blasum SYSGO AG Klein-Winternheim, Germany

        Add to Reading List

        Source URL: mils-workshop-2015.mils.community

        Language: English - Date: 2015-01-16 02:28:04
          25

          Asset-Centric Security Risk Assessment of Software Components Tobias Rauter, Andrea Höller, Nermin Kajtazovic, Christian Kreiner Institute for Technical Informatics Graz University of Technology Graz, Austria

          Add to Reading List

          Source URL: mils-workshop-2016.mils.community

          Language: English - Date: 2016-01-15 03:31:49
            26

            Formal Methods for MILS: Formalisations of the GWV Firewall Ruud Koolen and Julien Schmaltz Eindhoven University of Technology Department of Mathematics and Computer Science

            Add to Reading List

            Source URL: mils-workshop-2015.mils.community

            Language: English - Date: 2015-01-27 02:22:52
              27

              Developing Assurance Cases for D-MILS Systems Richard Hawkins, Tim Kelly, Ibrahim Habli Department of Computer Science, The University of York 1

              Add to Reading List

              Source URL: mils-workshop-2015.mils.community

              Language: English - Date: 2015-01-27 02:57:03
                28

                Content-Dependent Security Policies in Avionics Tomasz Maciążek Hanne Riis Nielson Flemming Nielson

                Add to Reading List

                Source URL: mils-workshop-2016.mils.community

                Language: English - Date: 2016-03-02 03:09:29
                  29

                  Non-Interfering Composed Evaluation How to Exchange Components without Re-Evaluation? Igor Furgel, Viola Saftig, Tobias Wagner (T-Systems) Kevin Müller (Airbus Group Innovations) Reinhard Schwarz (Fraunhofer IESE)

                  Add to Reading List

                  Source URL: mils-workshop-2016.mils.community

                  Language: English - Date: 2016-03-15 04:51:15
                    30

                    Applying MILS to multicore avionics systems Paul J. Parkinson Principal Systems Architect Wind River Swindon, United Kingdom

                    Add to Reading List

                    Source URL: mils-workshop-2016.mils.community

                    Language: English - Date: 2016-01-18 06:42:24
                      UPDATE