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

Full description

Saved in:

Bibliographic Details
Published in:	Informatics in education Vol. 19; no. 3; pp. 425 - 454
Main Author:	MODESTI, Paolo
Format:	Journal Article
Language:	English
Published:	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
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!