Hermes Science Publications
Journal of Applied Non Classical Logics
Software Analysis and Transformation

Balbiani, P., van Ditmarsch, H., & van Eijck, J. (2009). Special issue Logic for Information Security -- Editorial. Journal of Applied Non Classical Logics, 19(4), 397–401.