Recherche avancée

Affiner les résultats

Type de document

Institution

Collection spécifique

Langue

Auteur

Domaine

Mot clé

Trié par: Date de dépôt
7 résultats 1
Postprint
Consortium of Swiss Academic Libraries

Monitoring of temporal first-order properties with aggregations

Basin, David ; Klaedtke, Felix ; Marinovic, Srdjan ; Zălinescu, Eugen

In: Formal Methods in System Design, 2015, vol. 46, no. 3, p. 262-285

Postprint
Consortium of Swiss Academic Libraries

OFMC: A symbolic model checker for security protocols

Basin, David ; Mödersheim, Sebastian ; Viganò, Luca

In: International Journal of Information Security, 2005, vol. 4, no. 3, p. 181-208

Postprint
Consortium of Swiss Academic Libraries

Verifying a signature architecture: a comparative case study

Basin, David ; Kuruma, Hironobu ; Miyazaki, Kunihiko ; Takaragi, Kazuo ; Wolff, Burkhart

In: Formal Aspects of Computing, 2007, vol. 19, no. 1, p. 63-91

Postprint
Consortium of Swiss Academic Libraries

Konflikt oder Review zwei Ansätze für Labors in angewandter Informationssicherheit

Näf, Michael ; Basin, David

In: Informatik-Spektrum, 2005, vol. 28, no. 5, p. 407-412

Postprint
Consortium of Swiss Academic Libraries

Automated Reasoning for Security Protocol Analysis

Armando, Alessandro ; Basin, David ; Cuellar, Jorge ; Rusinowitch, Michaël ; Viganò, Luca

In: Journal of Automated Reasoning, 2006, vol. 36, no. 1-2, p. 1-3

Postprint
Consortium of Swiss Academic Libraries

Labelled Tableaux for Distributed Temporal Logic

Basin, David ; Basin, David ; Caleiro, Carlos ; Ramos, Jaime ; Viganò, Luca ; Viganò, Luca

In: Journal of Logic and Computation, 2009, vol. 19, no. 6, p. 1245-1279

Postprint
Consortium of Swiss Academic Libraries

Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis

Caleiro, Carlos ; Viganò, Luca ; Basin, David

In: Logic Journal of IGPL, 2005, vol. 13, no. 6, p. 637-663

7 résultats 1