Taiwan Military Computer Market

Συγγραφείς: Next Move Strategy Consulting

Θεματικοί όροι: Computer security--Computer programs, Computer networks--Computer programs

METHODS OF ASSESSING THE CONFORMITY OF A PSEUDO-RANDOM SEQUENCE TO A RANDOM DISTRIBUTION IN THE PROBLEMS OF AUTOMATION, CYBER SECURITY, COMPUTER-INTEGRATED TECHNOLOGIES AND NON-DESTRUCTIVE CONTROL

Συγγραφείς: Klymenko O., Malaichuk V.

Πηγή: International scientific and technical conference Information technologies in metallurgy and machine building. :327-334

Philosophy of Power System Protection and Security Computer Aided Design and Analysis

Συγγραφείς: Samir Ibrahim Abood

Resource Type: eBook.

Θέματα: Electric power systems--Protection, Electric power systems--Security measures

Categories: SCIENCE / Energy

Proving proof rules: a proof system for concurrent programs

Συγγραφείς: Goldschlag, D.M.

Πηγή: Fifth Annual Conference on Computer Assurance, Systems Integrity, Software Safety and Process Security. Computer Assurance, 1990. COMPASS '90, Systems Integrity, Software Safety and Process Security., Proceedings of the Fifth Annual Conference on. :95-101 1990

Relation: Fifth Annual Conference on Computer Assurance, Systems Integrity, Software Safety and Process Security

NASA Langley's research and technology-transfer program in formal methods

Συγγραφείς: Butler, R.W., Caldwell, J.L., Carreno, V.A., Holloway, C.M., Miner, P.S., Di Vito, B.L.

Πηγή: COMPASS '95 Proceedings of the Tenth Annual Conference on Computer Assurance Systems Integrity, Software Safety and Process Security' Computer assurance Computer Assurance, 1995. COMPASS '95. Systems Integrity, Software Safety and Process Security. Proceedings of the Tenth Annual Conference on. :135-149 1995

Relation: COMPASS '95. Proceedings of the Tenth Annual Conference on Computer Assurance

Integrating formal methods and testing for concurrent programs

Συγγραφείς: Carver, R.H., Durham, R.

Πηγή: COMPASS '95 Proceedings of the Tenth Annual Conference on Computer Assurance Systems Integrity, Software Safety and Process Security' Computer assurance Computer Assurance, 1995. COMPASS '95. Systems Integrity, Software Safety and Process Security. Proceedings of the Tenth Annual Conference on. :25-33 1995

Relation: COMPASS '95. Proceedings of the Tenth Annual Conference on Computer Assurance

The Ghidra Book, 2nd Edition : The Definitive Guide

Συγγραφείς: Kara Nance, Chris Eagle

Resource Type: eBook.

Θέματα: Computer security--Computer programs, Reverse engineering--Computer programs, Disassemblers (Computer programs), Debugging in computer science

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Security / Viruses & Malware, COMPUTERS / Languages / Assembly Language

Capture the Flag (CTF) Implementation in The Informatics Engineering Study Program Indonesia Defense University.

Συγγραφείς: Kartasasmita, Dudi Gurnadi, Cempaka Timur, Fauzia Gustarina

Πηγή: Journal of Engineering Education Transformations; Apr2025, Vol. 38 Issue 4, p36-44, 9p

Θεματικοί όροι: Computer networks, Cyberterrorism, Internet of things, Internet security, Teaching aids

Securing AI-Generated Media With Blockchain Technologies

Συγγραφείς: G. Revathy, Arul Kumar Natarajan, Naresh Kshetri

Resource Type: eBook.

Θέματα: Digital media, AI art, Blockchains (Databases), Information storage and retrieval systems--Digital media, Generative art, Computer security--Computer programs, Deepfakes, Artificial intelligence

Categories: COMPUTERS / Design, Graphics & Media / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Blockchain

COMPARATIVE CHARACTERISTICS OF FUTURE TECHNICAL SPECIALISTS TRAINING EDUCATIONAL PROGRAMS IN GERMANY AND UKRAINE.

Alternate Title: Порівняльна характеристика освітніх програм підготовки майбутніх фахівців технічного профілю в Німеччині й Україні (Ukrainian)

Συγγραφείς: DYNOVYCH, ANNA

Πηγή: Journal of Vasyl Stefanyk Precarpathian National University; 2025, Vol. 12 Issue 1, p105-118, 14p

Θεματικοί όροι: Student mobility, Universities & colleges, Teaching methods, Educational programs, Software engineering

SAP System Security

Συγγραφείς: Pradeep Kumar Mishra

Resource Type: eBook.

Θέματα: SAP ERP, Database security--Computer programs, Computer networks--Security measures

Categories: COMPUTERS / Business & Productivity Software / General

Co-design for Security and Reliability

Συγγραφείς: Manzhosov, Evgeny

Θεματικοί όροι: Computer science, Computer security--Computer programs, Data encryption (Computer science), Computer systems--Reliability, Hacking

Διαθεσιμότητα: https://doi.org/10.7916/2mmk-0v96

Scaling Deductive Verification for Real-world Cloud Data Security

Συγγραφείς: Li, Xupeng

Θεματικοί όροι: Computer science, Computer security--Computer programs, Cloud computing, Machine learning, Virtual computer systems

Διαθεσιμότητα: https://doi.org/10.7916/r35y-wf43

Automated Verification of Safety and Liveness Properties for Distributed Protocols

Συγγραφείς: Yao, Jianan

Θεματικοί όροι: Computer science, Computer security, Computer security--Computer programs, Distributed parameter systems, Computers--Safety measures

Διαθεσιμότητα: https://doi.org/10.7916/0htz-nz79

Data Exfiltration Threats and Prevention Techniques : Machine Learning and Memory-Based Data Security

Συγγραφείς: Zahir Tari, Nasrin Sohrabi, Yasaman Samadi, Jakapan Suaboot

Resource Type: eBook.

Θέματα: Malware (Computer software)--Prevention--Computer programs, Information filtering systems, Malware (Computer software)--Identification--Computer programs, Computer security--Computer programs, Computer networks--Security measures--Computer programs

Categories: COMPUTERS / Security / Viruses & Malware, COMPUTERS / Security / Network Security, COMPUTERS / Security / General

An Overview of EDR Serviceability for Security Information and Event Management (SIEM).

Συγγραφείς: Pradhan, Padma Lochan

Πηγή: Journal of Information Assurance & Security; 2026, Vol. 21 Issue 2, p52-88, 37p

Θεματικοί όροι: Anomaly detection (Computer security), Machine learning, Internet security, Data analytics, Open source software, Artificial intelligence

Evading EDR : The Definitive Guide to Defeating Endpoint Detection Systems.

Συγγραφείς: Matt Hand

Resource Type: eBook.

Θέματα: Intrusion detection systems (Computer security), Penetration testing (Computer security), Computer security--Computer programs, Operating systems (Computers)--Protection, Computer networks--Security measures--Data processing

Categories: COMPUTERS / Security / Network Security, COMPUTERS / Security / Viruses & Malware, COMPUTERS / Forensics

Endpoint Detection and Response Essentials : Explore the Landscape of Hacking, Defense, and Deployment in EDR

Συγγραφείς: Guven Boyraz

Resource Type: eBook.

Θέματα: Computer networks--Security measures--Data processing, Operating systems (Computers)--Protection, Computer security--Computer programs, Penetration testing (Computer security), Intrusion detection systems (Computer security)

Categories: COMPUTERS / Security / General, COMPUTERS / Security / Viruses & Malware, COMPUTERS / Security / Network Security

Computer Science Curricular Guidance for Associate-Degree Transfer Programs

Συγγραφείς: Tang, Cara, Tucker, Cindy, Servin, Christian, Geissler, Markus

Πηγή: Proceedings of the 49th ACM Technical Symposium on Computer Science Education. :435-440

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3159450.3159536

Check Point Firewall Administration R81.10+ : A Practical Guide to Check Point Firewall Deployment and Administration

Συγγραφείς: Vladimir Yakovlev

Resource Type: eBook.

Θέματα: Computer networks--Security measures--Computer programs, Firewalls (Computer security), Computer security--Computer programs

Categories: COMPUTERS / Security / Network Security, COMPUTERS / Security / General, COMPUTERS / System Administration / General