sealed abstract case classBLPReadAction[F[_], Role, A, Auth] extends BLPAuthorization[F, A, Auth] with Product with Serializable
Bell La Padula read action: We do not read to higher authorization levels aka Simple Security Property.
For our model, we will think about higher authorization levels as being lower in number
Bell La Padula read action: We do not read to higher authorization levels aka Simple Security Property. For our model, we will think about higher authorization levels as being lower in number