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

A (Protocol) field day for attackers: extracting internal state from network protocol fields and compromising privacy and integrity
על שדות של פרוטוקולי רשת, זיהוי מחשבים והתקפות אחרות
שדות של פרוטוקולי רשת, זהוי מחשבים והתקפות אחרות

Συγγραφείς: Klein, Amit, 1970-

Συνεισφορές: Pinkas, Benny

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

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

Binary protocol greybox fuzzing driven by marine predators algorithm.

Συγγραφείς: Jiang, Chuan, Hong, Zheng, Zhang, Guomin, Li, Yuxuan, Gu, Jinbang

Πηγή: Cybersecurity (2523-3246); 9/9/2026, Vol. 9 Issue 1, p1-20, 20p

Θεματικοί όροι: Computer software testing, Optimization algorithms, Penetration testing (Computer security), Defect tracking (Computer software development), Internet of things

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

Gearing Up for Cyberwarfare: A Feasibility Study for a Bachelor of Science in Cybersecurity Program.

Συγγραφείς: Ramos, Maria Cristina M.

Πηγή: Asia Pacific Journal of Management & Sustainable Development; Apr2025, Vol. 13 Issue 1, Part 3, p80-91, 12p

Θεματικοί όροι: Feasibility studies, Computer network security, Business partnerships, Science education, Penetration testing (Computer security), Digital forensics, Curriculum planning, Cyberspace operations (Military science)

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

العلاقة بين نضج الأمن السيبراني وجودة التدقيق الخارجي في الشركات المدرجة في سوق العراق للأوراق المالية. (Arabic)

Alternate Title: The relationship between cybersecurity maturity and the quality of external auditing in companies listed on the Iraq Stock Exchange. (English)

Συγγραφείς: رغد جمال عباس, سما صفاء موسى

Πηγή: Iraqi Journal For Economic Sciences; 2026 Special Issue, Vol. 24, p417-425, 9p

Θεματικοί όροι: Auditing procedures, Internet security, Information assurance, Auditing standards, Information technology management, Firewalls (Computer security)

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

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