The Journal of Computer Security covers the theory, design, implementation, analysis, and application of secure computer systems in-depth.