• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 11 matches

• 2017
• 
  Igor Furgel, Viola Saftig:
  MILS Complete Separation Platform Protection Profile. MILS 2017
• 
  Semen Kort, Dmitry Kulagin, Ekaterina Rudina:
  An approach to Separation of Duties validation for MILS security configurations. MILS 2017
• 
  Milosch Meriac, Joseph Yiu:
  High-End Security Features for Low-End Microcontrollers. MILS 2017
• 
  Alexander Much, Rudolf Grave, Robert Leibinger, Martin Böhner, Elisabeth Waitz:
  Current Trends and Solutions in Securing Automotive Software. MILS 2017
• 
  Kevin Mueller:
  Hardening High-Assurance Systems: MILS as Software Design for Avionics. MILS 2017
• 
  Thomas Noll, Louis Wachtmeister:
  Analysing Cryptographically-Masked Information Flows in MILS-AADL Specifications. MILS 2017
• 
  Sven Nordhoff, Holger Blasum:
  Ease Standard Compliance by Technical Means via MILS. MILS 2017
• 
  Wilfred Steiner:
  Fog Computing as Enabler for the Industrial Internet of Things / Industrie 4.0: Slides. MILS 2017
• 
  Sergey Tverdyshev:
  Security by Design: Introduction to MILS. MILS 2017
• 
  Geoff Waters:
  Hardware enforced separation in embedded multicore SoCs. MILS 2017
• 
  Sergey Tverdyshev:
  International Workshop on MILS: Architecture and Assurance for Secure Systems, MILS 2017, Nürnberg, Germany, March 14, 2017. Zenodo 2017 [contents]