Home // Research // FSTM // Communicativ... // Research // Security and Trust of Software Systems

Security and Trust of Software Systems

The SaToSS group focuses on formalising and applying formal
reasoning to real-world security problems and trust issues. The
group focuses on security protocols, trust models and e-voting.
- The work on security protocols concerns the development of a
formal analysis framework. This methodology is supported by a
computer tool and applied to existing protocols, such as WiMAX.
Research is performed on extending the methodology to more
complex systems by studying how security properties are
inherited from the individual building blocks of a complex
system. RFID-based systems are investigated as they provide
additional requirements and constraints.
- The research on trust modelling focuses on developing a formal
model to reason about trust in a network of agents. The initial
focus of the research is on the extension of current models to
dynamic systems, including distributed trust computation. The
research includes combining models for trust and risk
- The research on electronic voting mainly studies privacy
properties. The focus is on examining voting protocols that use
untrustworthy networks as communication channels. The goal of
the research is to provide a formal, process algebraic
framework in which voting protocols and privacy notions, such
as anonymity and receipt-freeness can be expressed.
Additionally, various voting protocols from literature as well
as some in actual use are
The SaToSS group consists of the following members:

Sjouke Mauw, (Full professor)

Sasa Radomirovic

Baptiste Alcalde, (Postdocs)

Hugo Jonker

Ton van Deursen