Ensuring Secure Non-interference of Programs by Game Semantics

Aleksandar Dimovski

Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskriftPaperForskningpeer review

Fingeraftryk

Dyk ned i forskningsemnerne om 'Ensuring Secure Non-interference of Programs by Game Semantics'. Sammen danner de et unikt fingeraftryk.

Teknik og materialevidenskab