From post

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

Dynamic Enforcement of Dynamic Policies.

P. Buiras, и B. van Delft. PLAS@ECOOP, стр. 28-41. ACM, (2015)

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.

Programming in Paragon.B. van Delft, N. Broberg, и D. Sands. Software Systems Safety, том 36 из NATO Science for Peace and Security Series, D: Information and Communication Security, IOS Press, (2014)A Datalog Semantics for Paralocks.B. van Delft, N. Broberg, и D. Sands. STM, том 7783 из Lecture Notes in Computer Science, стр. 305-320. Springer, (2012)Paragon - Practical programming with information flow control.N. Broberg, B. van Delft, и D. Sands. J. Comput. Secur., 25 (4-5): 323-365 (2017)Very Static Enforcement of Dynamic Policies.B. van Delft, S. Hunt, и D. Sands. POST, том 9036 из Lecture Notes in Computer Science, стр. 32-52. Springer, (2015)A Security Analysis of OpenID.B. van Delft, и M. Oostdijk. IDMAN, том 343 из IFIP Advances in Information and Communication Technology, стр. 73-84. Springer, (2010)Paragon: Programming with Information Flow Control (Demo).N. Broberg, B. van Delft, и D. Sands. PLAS@ECOOP, стр. 79. ACM, (2014)Paragon for Practical Programming with Information-Flow Control.N. Broberg, B. van Delft, и D. Sands. APLAS, том 8301 из Lecture Notes in Computer Science, стр. 217-232. Springer, (2013)The Anatomy and Facets of Dynamic Policies.N. Broberg, B. van Delft, и D. Sands. CSF, стр. 122-136. IEEE Computer Society, (2015)