From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Beyond Labels: Permissiveness for Dynamic Information Flow Enforcement.

E. Kozyri, F. Schneider, A. Bedford, J. Desharnais, и N. Tawbi. CSF, стр. 351-366. IEEE, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Beyond Labels: Permissiveness for Dynamic Information Flow Enforcement.E. Kozyri, F. Schneider, A. Bedford, J. Desharnais, и N. Tawbi. CSF, стр. 351-366. IEEE, (2019)RIF: Reactive information flow labels.E. Kozyri, и F. Schneider. J. Comput. Secur., 28 (2): 191-228 (2020)Expressing Information Flow Properties.E. Kozyri, S. Chong, и A. Myers. Found. Trends Priv. Secur., 3 (1): 1-102 (2022)A Smart HPC Interconnect for Clusters of Virtual Machines.A. Nanos, N. Nikoleris, S. Psomadakis, E. Kozyri, и N. Koziris. Euro-Par Workshops (2), том 7156 из Lecture Notes in Computer Science, стр. 398-406. Springer, (2011)JRIF: Reactive Information Flow Control for Java.E. Kozyri, O. Arden, A. Myers, и F. Schneider. Foundations of Security, Protocols, and Equational Reasoning, том 11565 из Lecture Notes in Computer Science, стр. 70-88. Springer, (2019)Better Balance in Informatics: An Honest Discussion with Students.E. Kozyri, M. Ellingsen, R. Grape, и L. Jaccheri. HCI (11), том 14021 из Lecture Notes in Computer Science, стр. 286-305. Springer, (2023)