Search Results - acm: h.: informacne systemy/h.2: database management/h.2.0: general/h.2.0.0: security*

Refine Results
  1. 1
  2. 2
  3. 3
  4. 4
  5. 5
  6. 6

    Subject Geographic: SK

    File Description: 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

  7. 7
  8. 8
  9. 9
  10. 10
  11. 11

    Source: 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.

    File Description: 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

  12. 12
  13. 13
  14. 14

    Source: 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.

    File Description: application/pdf

  15. 15
  16. 16
  17. 17
  18. 18
  19. 19
  20. 20