Integrating Formal Methods for Security in Software Security Education

As the number of software vulnerabilities discovered increases, the industry is facing difficulties to find specialists to cover the vacancies for security software developers. Considering relevant teaching and learning theories, along with existing approaches in software security education, we pres...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Informatics in education Jg. 19; H. 3; S. 425 - 454
1. Verfasser:	MODESTI, Paolo
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Vilnius Vilniaus Universiteto Leidykla 2020 Vilnius University Press Institute of Mathematics and Informatics Vilnius University Institute of Mathematics and Informatics, Lithuanian Academy of Sciences Vilnius University
Schlagworte:	Alliances College Science Computer science Computer Science Education Computer Security Computer Software Conceptual models Concrete constructivism Constructivism (Learning) Cryptography Cybersecurity Data integrity Education Educational Practices Formal method formal methods for security Higher education ICT Information and Communications Technologies International Studies Labor Force Learning Learning theories Online Systems Professional Education Programming programming abstractions Representations Research Tools research-led teaching Science education Science Instruction Security Skill Development Skills Social Sciences Software Software development software security education Specialists Systems Development Teaching Teaching methods Vacancies Workforce programming abstractions formal methods for security constructivism researchled teaching software security education
ISSN:	1648-5831, 2335-8971
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!