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

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	Informatics in education Ročník 19; číslo 3; s. 425 - 454
Hlavný autor:	MODESTI, Paolo
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	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
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!