Jump to ContentJump to Main Navigation

Longest established German IT journal

it - Information Technology

METHODS AND APPLICATIONS OF INFORMATICS AND INFORMATION TECHNOLOGY

Editor-in-Chief: Molitor, Paul

6 Issues per year

VolumeIssuePage

Issues

Volume 56, Issue 6 (Dec 2014)

Special Issue: Reliably Secure Software Systems / Heiko Mantel

Frontmatter

Page i

Published Online: 11/30/2014

Editorial

Special Issue

Making security type systems less ad hoc

Nipkow, Tobias / Popescu, Andrei

Page 267

Published Online: 11/30/2014

The linear-hyper-branching spectrum of temporal logics

Finkbeiner, Bernd / Rabe, Markus N.

Page 273

Published Online: 11/30/2014

Checking probabilistic noninterference using JOANA

Snelting, Gregor / Giffhorn, Dennis / Graf, Jürgen / Hammer, Christian / Hecker, Martin / Mohr, Martin / Wasserrab, Daniel

Page 280

Published Online: 11/30/2014

Confidentiality for Android apps: Specification and verification

Ereth, Sarah / Lortz, Steffen / Perner, Matthias

Page 288

Published Online: 11/30/2014

Information flow control for workflow management systems

Bauereiß, Thomas / Hutter, Dieter

Page 294

Published Online: 11/30/2014

Security in e-voting

Küsters, Ralf / Truderung, Tomasz

Page 300

Published Online: 11/30/2014

Self-Portrayals of GI Junior Fellows

Distinguished Dissertations

On the insecurity of XML Security

Somorovsky, Juraj

Page 313

Published Online: 11/30/2014

Comments (0)

Please log in or register to comment.
Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.