Please enable JavaScript.

Coggle requires JavaScript to display documents.

Security Models (State Machine Model (Collection of: (Operations, Finite…

- - - - Strong star property (Strong * property)
        
        Subject cannot read/write to object of higher/lower sensitivity
      - Star property (* property)
        
        Subject cannot write to object of lower sensitiity
      - Simple Security Property (SS)
        
        Subject cannot read object of higher sensitivity
    - - Confidentiality only
      - No method for management of classifications
  - - - opposite of Bell-Lapadula
    - - Simple integrity condition
        
        Subject cannot read objects of lesser integrity
      - Integrity star * property
        
        Subject cannot write to objects of higher integrity
      - Invocation Property
        
        Subject cannot send messages (logical request for service) to object of higher integrity
  - - - User
      - Transformation Procedures (TPs)
      - Cosntrained data item (CDI)
    - - Well formed transcation
      - Ensures data item is in valid state
      - preserves internal consistency
      - Manipulates data only in ways that ensure internal consistency
  - - - Create an object
      - Create a subject
      - Delete an object
      - Delete a subject
      - Provide read access right
      - Provide grant access right
      - Perovide delete access right
      - Provide transfer access right