Výsledky vyhledávání - acm: h.: informacii systemy/h.2: database management/h.2.0: general/h.2.0.0: security

Upřesnit hledání
  1. 1

    Geografické téma: SK

    Popis souboru: p. 56-62; text/xml

    Relation: Medzinárodné vedecké dni2018. Smerom k produktívnemu a udržateľnému svetovémupoľnohospodárstvu a potravinovým zdrojom [elektroninis išteklius] : zborník príspevkov / editors: Elena Horská, Zuzana Kapsdorferová, Marcela Hallová. Nitra : Slovenská poľnohospodárska univerzita v Nitre, 2019; VDU02-000059629; https://doi.org/10.15414/2019.9788055219684

  2. 2

    Zdroj: Malecha, Gregory, Greg Morrisett, Avraham Shinnar, and Ryan Wisnesky. 2010. “Toward a verified relational database management system.” In Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL 10, 237. Association for Computing Machinery. doi:10.1145/1706299.1706329. http://dx.doi.org/10.1145/1706299.1706329.

    Popis souboru: application/pdf

    Relation: http://www.eecs.harvard.edu/~ryan/; Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '10

  3. 3
  4. 4

    Zdroj: Quick submit: 2018-07-21T17:09:14-0400
    Yang, Jean, Travis Hance, Thomas H. Austin, Armando Solar-Lezama, Cormac Flanagan, and Stephen Chong. 2016. Precise, Dynamic Information Flow for Database-Backed Applications. ACM Sigplan Notices 51, no. 6: 631-47.

    Popis souboru: application/pdf

  5. 5
  6. 6
  7. 7
  8. 8
  9. 9

    Popis souboru: 1247334 bytes; application/vnd.openxmlformats-officedocument.presentationml.presentation; text/plain; downloadable_files_count: 1

  10. 10
  11. 11
  12. 12
  13. 13
  14. 14
  15. 15
  16. 16
  17. 17
  18. 18
  19. 19

    Alternate Title: ЗАСТОСУВАННЯ ПРИНЦИПУ ФОРМАЛІЗАЦІЇ ОПИСУ ОБ’ЄКТІВ ІНФОРМАЦІЙНОЇ ДІЯЛЬНОСТІ ДЛЯ ПРОЕКТУВАННЯ СИСТЕМ ЗАХИСТУ ІНФОРМАЦІЇ (с. 28–37). (Ukrainian)

    Zdroj: Eastern-European Journal of Enterprise Technologies; 2022, Vol. 120 Issue 9, p28-37, 10p

    Geografický termín: UKRAINE

  20. 20