Formal Methods in Security Vassena, Nemati, K√ľnnemann

News

SysV: note on confidentiality preserving refinement

Written: 14.12.2020 14:07
Modified: 14.12.2020 14:08
Written By: Hamed Nemati

I posted a note about the specific simulation relation that we used to get the confidentiality preserving refinement in our Rocketchat channel. Please checked it out!



Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators