The Compositional Security Checker: a tool for the verification of information flow security properties von Focardi, R., Gorrieri, R.

Volltext

Real-time information flow analysis von Focardi, R., Gorrieri, R., Martinelli, F.

Volltext

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures von Aldini, Alessandro, Barthe, Gilles, Gorrieri, Roberto

Volltext

KM3: A DSL for Metamodel Specification von Jouault, Frédéric, Bézivin, Jean

Volltext

Synchronizing Behavioural Mismatch in Software Composition von Canal, Carlos, Poizat, Pascal, Salaün, Gwen

Volltext

A Bayesian Approach to Model Checking Biological Systems von Jha, Sumit K., Clarke, Edmund M., Langmead, Christopher J., Legay, Axel, Platzer, André, Zuliani, Paolo

Volltext

A Reduction of Logical Regulatory Graphs Preserving Essential Dynamical Properties von Naldi, Aurélien, Remy, Elisabeth, Thieffry, Denis, Chaouiya, Claudine

Volltext

A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time von Bernardo, Marco, Gorrieri, Roberto

Volltext

A tutorial on physical security and side-channel attacks von KOEUNE, Francois, STANDAERT, Francois-Xavier

Volltext

Verification of concurrent programs with Chalice von Leino, K. Rustan M, Müller, Peter, Smans, Jan

Volltext

Towards a formal framework for choreography von Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.

Volltext

Privacy-preserving database systems von BERTINO, Elisa, BYUN, Ji-Won, NINGHUI LI

Volltext

Model-based security engineering with UML von JÜRJENS, Jan

Volltext

The theory of interactive generalized semi-Markov processes von Bravetti, Mario, Gorrieri, Roberto

Volltext

On the Use of Stochastic Petri Nets in the Analysis of Signal Transduction Pathways for Angiogenesis Process von Napione, Lucia, Manini, Daniele, Cordero, Francesca, Horváth, András, Picco, Andrea, De Pierro, Massimiliano, Pavan, Simona, Sereno, Matteo, Veglio, Andrea, Bussolino, Federico, Balbo, Gianfranco

Volltext

Choreography and Orchestration: A Synergic Approach for System Design von Busi, Nadia, Gorrieri, Roberto, Guidi, Claudio, Lucchi, Roberto, Zavattaro, Gianluigi

Volltext

Intrusion detection : Introduction to intrusion detection and security information management von DEBAR, Hervé, VIINIKKA, Jouni

Volltext

Bounded Analysis and Decomposition for Behavioural Descriptions of Components von Poizat, Pascal, Royer, Jean-Claude, Salaün, Gwen

Volltext

Quantitative information in the tuple space coordination model von Bravetti, Mario, Gorrieri, Roberto, Lucchi, Roberto, Zavattaro, Gianluigi

Volltext

Formal methods for smartcard security von BARTHE, Gilles, DUFAY, Guillaume

Volltext