For Cybersecurity, Computer Science Must Rely on Strongly-Typed Actors

hal.archives-ouvertes.fr