Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top

Formal Aspects of Computing

Issue 1/2014

Content (7 Articles)

Editorial

Editorial

Eerke Boiten, Steve Schneider

Original Article

Inductive study of confidentiality: for everyone

Giampaolo Bella

Original Article

Cryptographic protocols with everyday objects

James Heather, Steve Schneider, Vanessa Teague

Original Article

Verifying anonymity in voting systems using CSP

Murat Moran, James Heather, Steve Schneider

Original Article

Formal verification of security protocol implementations: a survey

Matteo Avalle, Alfredo Pironti, Riccardo Sisto

Original Article

Safe abstractions of data encodings in formal security protocol models

Alfredo Pironti, Riccardo Sisto

Original Article

Abstractions of non-interference security: probabilistic versus possibilistic

T. S. Hoang, A. K. McIver, L. Meinicke, C. C. Morgan, A. Sloane, E. Susatyo

Nov 13
Issue: 6/2013
Mar 14
Issue: 2/2014

Current Publications

scroll for more

use your arrow keys for more

scroll or use arrow keys for more

Premium Partner

    Image Credits