Search Results - acm: h.: informace system/h.2: database management/h.2.0: general/h.2.0.0: security

Toward a verified relational database management system

Authors: Malecha, Gregory Michael Morrisett, Greg Gregory Shinnar, Avraham Ever et al.

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

Access URL: http://nrs.harvard.edu/urn-3:HUL.InstRepos:11318529

Systém řízení bezpečnosti informací v malém podniku ; Information security management system in small business

Authors: Kraus, Vojtěch Doucek, Petr Veber, Jaromír

Contributors: Kraus, Vojtěch Doucek, Petr Veber, Jaromír

Subject Terms: řízení, SMB, malý podnik, data, SME, ISO 27000, informace, bezpečnost, management, ISMS, small business, information, security, small enterprise

File Description: application/pdf

Relation: https://vskp.vse.cz/eid/32476

Availability: https://vskp.vse.cz/eid/32476

Systém řízení bezpečnosti informací vybraného subjektu ; Information Security Management System of Selected Company

Authors: Benešová, Kristýna Svoboda, Petr Tomek, Miroslav

Contributors: Benešová, Kristýna Svoboda, Petr Tomek, Miroslav

Subject Terms: bezpečnost, detektor, ISMS, informace, systém, Information, Detector, Security, System

File Description: 80 (103 790 znaků)

Relation: Elektronický archiv Knihovny UTB; http://hdl.handle.net/10563/44041; 51032

Availability: http://hdl.handle.net/10563/44041

Gate-Level Information Flow Tracking for Security Lattices

Authors: Hu, Wei Mu, Dejun Oberg, Jason et al.

Source: ACM Transactions on Design Automation of Electronic Systems. 20(1)

Subject Terms: Security, Design, Verification, High-assurance system, hardware security, gate-level information flow tracking, multilevel security, security lattice, formal method, Computer Software, Computer Hardware, Design Practice & Management

Access URL: https://escholarship.org/uc/item/2hn9f52r

Rozšíření reputační databáze o informace z Passive DNS ; Extension of reputation database with information from Passive DNS

Authors: Tomáš Maxmilián Čejka Tomáš Benáček Pavel

Contributors: Tomáš Maxmilián Čejka Tomáš Benáček Pavel

Subject Terms: DNS,Passive DNS,malware,síťová bezpečnost,blacklist, DNS,Passive DNS,malware,network security,blacklist

Relation: http://hdl.handle.net/10467/76827

Availability: http://hdl.handle.net/10467/76827

Metriky integrovaných podnikových dat v kontextu SME. (English)

Authors: Vodňanský, Daniel

Source: Systémová Integrace; 2016, Vol. 23 Issue 2, p91-116, 26p

Informace : výzva bezpečnostního systému: Information : the challenge of the security system

Subject Terms: information operations, security system, information

Access URL: http://www.fpvmv.umb.sk/bezpecnostne-forum-2018

Informace : výzva bezpečnostního systému: Information : the challenge of the security system

Subject Terms: information operations, security system, information

Access URL: http://www.fpvmv.umb.sk/bezpecnostne-forum-2018

Vývoj informačního managementu v průmyslu komerční bezpečnosti ; Developments in Information Management in the Commercial Security Industry

Authors: Březík, Adam Zelinka, Stanislav Pávek, Ladislav

Contributors: Březík, Adam Zelinka, Stanislav Pávek, Ladislav

Subject Terms: informace, informační management, informační systém, informační manažer, informační bezpečnost, information, information management, information system, information manager, information security

File Description: 100 s. (135 014 znaků).

Relation: Elektronický archiv Knihovny UTB; http://hdl.handle.net/10563/43152; 48325

Availability: http://hdl.handle.net/10563/43152

Komparace současných přístupů k řízení bezpečnosti informací ; Comparison of various approaches to information security management

Authors: Juřík, Vlastimil Klíma, Tomáš Smutný, Zdeněk

Contributors: Juřík, Vlastimil Klíma, Tomáš Smutný, Zdeněk

Subject Terms: ISO 27000, ISMS, Systém řízení bezpečnosti informací, Informace, Bezpečnost informací, PCI DSS, ITIL, NIST, COBIT, Information security management system, Information, Information security

File Description: application/pdf

Relation: https://vskp.vse.cz/eid/66525

Availability: https://vskp.vse.cz/eid/66525

Bezpečnostní aspekty implementace databázových systémů ; Security aspects of database systems implementation

Authors: Pokorný, Tomáš Chlapek, Dušan Macák, Petr

Contributors: Pokorný, Tomáš Chlapek, Dušan Macák, Petr

Subject Terms: databáze, bezpečnost, informace, security, database, information

File Description: application/pdf

Relation: https://vskp.vse.cz/eid/21094

Availability: https://vskp.vse.cz/eid/21094

Posouzení stávajícího informačního systému firmy a návrh změn

Authors: Juránek, Karel Neuwirth, Bernard Zíka, Milan

Contributors: Juránek, Karel Neuwirth, Bernard Zíka, Milan

Subject Terms: databáze, information, software, síť, počítač, security, Information system, analýza HOS8, bezpečnost, server, network, hardware, HOS8 analysis, informace, Informační systém, computer, database

File Description: application/pdf; text/html

Access URL: http://hdl.handle.net/11012/17070

Posouzení stávajícího informačního systému firmy a návrh změn ; Examination of Current Company´s Information System and Change Suggestions

Authors: Juránek, Karel Neuwirth, Bernard Zíka,, Milan

Contributors: Juránek, Karel Neuwirth, Bernard Zíka,, Milan

Subject Terms: Informační systém, hardware, software, počítač, analýza HOS8, server, databáze, bezpečnost, síť, informace, Information system, computer, HOS8 analysis, database, security, network, information

File Description: application/pdf; text/html

Relation: JURÁNEK, K. Posouzení stávajícího informačního systému firmy a návrh změn [online]. Brno: Vysoké učení technické v Brně. Fakulta podnikatelská. 2010.; 28076; http://hdl.handle.net/11012/17070

Availability: http://hdl.handle.net/11012/17070

Vývoj celního informačního systému po vstupu Slovenska do EU ; Development of the Customs information system after accession of the Slovak republic to the EU

Authors: Vojtko, Tibor Habáň, Jaromír Karkuš, Juraj

Contributors: Vojtko, Tibor Habáň, Jaromír Karkuš, Juraj

Subject Terms: celní informační systém, celní řízení, celní správa, clo, daně, data, databáze, funkce, funkcionalita, informace, informační systém, podniková informatika, projekt, řízení procesů, řízení projektu, správa spotřebních daní, statistika zahraničního obchodu, customs administration, customs duty, customs clearance, customs information system, database, excise duties administration, foreign trade statistics, function, functionality, informatics of enterprises, information, information system, management of processes

File Description: 85 s.; 1448165 bytes; application/pdf

Relation: Elektronický archiv Knihovny UTB; http://hdl.handle.net/10563/4004; 6413

Availability: http://hdl.handle.net/10563/4004

Bezpečnost práce s elektronickými daty v průmyslových podnicích ; Security of Work with Electronic Data in Industrial Enterprises

Authors: Žáčková, Eliška Šisler, Vít Souček, Martin

Contributors: Žáčková, Eliška Šisler, Vít Souček, Martin

Subject Terms: Electronic data, information, digitalization, cybercrime, cyberterrorism, know-how, enterprise information systems, food industry, Enterprise Content Management, ECM, Document Management System, DMS, cybersecurity, IT security, Elektronická data, digitalizace, počítačová kriminalita, informace, znalosti, podnikové informační systémy, potravinářský průmysl, bezpečnost informačních technologií

File Description: application/pdf

Relation: http://hdl.handle.net/20.500.11956/59782; 116737; 001557878; 990015578780106986

Availability: https://hdl.handle.net/20.500.11956/59782

Analýza stavu bezpečnosti informací v prostředí MěÚ Strakonice ; Analysis of the state of information security in the environment of municipality Strakonice

Authors: Hejhal, Tomáš Doucek, Petr Veber, Jaromír

Contributors: Hejhal, Tomáš Doucek, Petr Veber, Jaromír

Subject Terms: ISMS, informace, analýza rizik, informační systém, management informací, Informační bezpečnost, Information security, information system, risk analysis, information, information management

File Description: application/pdf

Relation: https://vskp.vse.cz/eid/34640

Availability: https://vskp.vse.cz/eid/34640

Precise, Dynamic Information Flow for Database-Backed Applications

Authors: Yang, Jean Austin, Thomas H. Chong, Stephen et al.

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

Access URL: http://nrs.harvard.edu/urn-3:HUL.InstRepos:42665486

Bezpečnostní aspekty implementace databázových systémů

Authors: Pokorný, Tomáš Chlapek, Dušan Macák, Petr

Contributors: Pokorný, Tomáš Chlapek, Dušan Macák, Petr

Subject Terms: information, databáze, informace, database, bezpečnost, security

Access URL: http://www.nusl.cz/ntk/nusl-17064

Vědecké informace v e-výuce zaměřené na informační zabezpečení v medicíně

Authors: Horváth, David

Source: Horváth, David Vědecké informace v e-výuce zaměřené na informační zabezpečení v medicíně., 2011 . In MEFANET 2011 : 5. konference lékařských fakult ČR a SR s mezinárodní účastí na téma e-learning a zdravotnická informatika ve výuce lékařských oborů, Brno, 24.-25. listopadu 2011, Brno (Czech Republic), 24-25 November 2011. (Unpublished) [Presentation]

Subject Terms: AA. Library and information science as a field., DK. Health libraries, Medical libraries., GH. Education., HP. e-resources.

File Description: application/pdf

Access URL: http://eprints.rclis.org/16382/

Historické právní informace a jejich databázové zpřístupnění (východiska, obecné otázky a případová studie) ; Historical Legal Informations and Database Access (background, general questions and a case study)

Authors: Kober, Jan Matejka, Ján Aubrecht, Petr et al.

Source: Revue pro právo a technologie; Vol 9 No 18 (2018); s. 93-140 ; Review of Law and Technology; Vol. 9 No. 18 (2018); s. 93-140 ; 1805-2797 ; 1804-5383

Subject Terms: právní historie, databáze, digitalizace, knihovny právnické, Česká republika, Legal history, Databases, Digitalisation, Legal libraries, Czech Republic, info, droit

Relation: https://journals.muni.cz/revue/article/view/10385

Availability: https://journals.muni.cz/revue/article/view/10385