Revision 1, May 6, 2025: In problem 3, the section for catdog should be 9.4.1.
Due: May 14, 2025 Points: 100
Questions
(36 points) Show that the Clinical Information System Security model’s principles implement the Clark-Wilson enforcement and certification rules.
(20 points) Consider countermeasures for the SYN flood attack that are present on intermediate systems and
are designed to allow only legitimate handshakes reach the destination system. Is the focus of this type of countermeasure the waiting time policy, the user agreements, or both? Why?
(30 points) Suppose the composite machine catdog (see Section 9.4.1) emits the same value from the left and the right. Show that it has received an even number of inputs from the left.
(14 points) A physician who is addicted to a pain-killing medicine can prescribe the medication for herself. Please show how RBAC in general, and the RBAC formula for separation of duty specifically, can be used to govern the dispensing of prescription drugs to prevent a physician from prescribing medicine for herself.