Services
Commerciaux
14, rue de Provigny
94236 CACHAN
CEDEX
FRANCE

Tél.: +33 (0)1 47 40
67 00
Fax: +33 (0)1 47 40
67 02

publicité

Notice

Logic for information security (Journal of Applied Non-Classical Logics Vol. 19 N° 4/October-December 2009)

Auteurs : BALBIANI Philippe, VAN DITMARSCH Hans, VAN EIJCK Jan

114,00 €

En stock : expédition en 24h !

Ajouter au panierAjouter au panier
Date de parution : 01-2010
Support : Numéro de revue
Langue : ANGLAIS
118p. 16x24 Paperback

Sommaire de Logic for information security ...

  • LTL model checking for security protocols
    A. Armando, R. Carbone, L. Compagna - pp.403-429
  • A communication algorithm for teamwork in multi-agent environments
    E. Van Baars, R. Verbrugge - pp.431-461
  • Automatic verification of temporal-epistemic properties of cryptographic protocols
    I. Boureanu, M. Cohen, A. Lomuscio - pp.463-487
  • A quantitative doxastic logic for probabilistic processes and applications to information-hiding
    S. Kramer, C. Palamidessi, R. Segala, A. Turrini, C. Braun - pp.489-516