أرسل هذا في رسالة قصيرة: On Refinement−Closed Security Properties and Nondeterministic Compositions