• Aiuto
  • Sfoglia

    • BETTASSA COPET, PIERGIUSEPPE

    Rete di Collaborazioni Statistiche Email Alert RSS Feed

    Dettaglio

    Nome completo:
    BETTASSA COPET, PIERGIUSEPPE
    Link esterni:
    Elenco pubblicazioni in formato JSON:

    Pubblicazioni (Tutti)

    Risultati 1 - 7 di 7 (tempo di esecuzione: 0.001 secondi).

    CitazioneData di pubblicazioneAutoriFile
    1Visual Model-Driven Design, Verification and Implementation of Security Protocols / Bettassa Copet P.; Pironti A.; Pozza D.; Sisto R.; Vivoli P.. - STAMPA. - (2012), pp. 62-65. ((Intervento presentato al convegno 14th IEEE Int. High-Assurance Systems Engineering Symposium (HASE 2012) tenutosi a Omaha, Nebraska nel October 25-27, 2012.2012BETTASSA COPET, PIERGIUSEPPE  ; PIRONTI, ALFREDO  ; POZZA, DAVIDE  ; SISTO, Riccardo  ; VIVOLI, PIETRO    Visibile a tutti
    2Vehicle Navigation Service Based on Real-Time Traffic Information / Ghinamo G.; Vadalà F.; Corbi C.; Bettassa Copet P.; Risso F.; Sisto R.. - ELETTRONICO. - (2012), pp. 1-8. ((Intervento presentato al convegno 2nd International Conference and Exhibition on Ubiquitous Positioning, Indoor Navigation and Location-Based Service (UPINLBS 2012) tenutosi a Helsinki (SF) nel October 3-4, 2012.2012BETTASSA COPET, PIERGIUSEPPE  ; RISSO, FULVIO GIOVANNI OTTAVIO  ; SISTO, Riccardo    Open Access
    3User-friendly Formal Methods for Security-aware Applications and Protocols / Bettassa Copet, Piergiuseppe. - (2016).2016BETTASSA COPET, PIERGIUSEPPE    Visibile a tutti
    4Formally sound implementations of security protocols with JavaSPI / Sisto, Riccardo; Bettassa Copet, Piergiuseppe; Avalle, Matteo; Pironti, Alfredo. - In: FORMAL ASPECTS OF COMPUTING. - ISSN 0934-5043. - STAMPA. - 30:2(2018), pp. 279-317.2018SISTO, Riccardo  ; BETTASSA COPET, PIERGIUSEPPE  ; AVALLE, MATTEO CARLO  ;  Solo autorizzati
    5Formal Verification of LTE-UMTS Handover Procedures / Bettassa Copet, Piergiuseppe; Marchetto, Guido; Sisto, Riccardo; Costa, Luciana. - STAMPA. - (2015), pp. 738-744. ((Intervento presentato al convegno 20th IEEE Symposium on Computers and Communications (ISCC) tenutosi a Larnaca, Cyprus nel 6-9 July 2015.2015BETTASSA COPET, PIERGIUSEPPE  ; MARCHETTO, GUIDO  ; SISTO, Riccardo  ;  Open Access
    6Formal verification of LTE-UMTS and LTE–LTE handover procedures / Bettassa Copet, Piergiuseppe; Marchetto, Guido; Sisto, Riccardo; Costa, Luciana. - In: COMPUTER STANDARDS & INTERFACES. - ISSN 0920-5489. - STAMPA. - 50(2017), pp. 92-106.2017BETTASSA COPET, PIERGIUSEPPE  ; MARCHETTO, GUIDO  ; SISTO, Riccardo  ;  Solo autorizzati
    7Automated Formal Verification of Application-specific Security Properties / Bettassa Copet P.; Sisto R.. - STAMPA. - 8364(2014), pp. 45-59. ((Intervento presentato al convegno Engineering Secure Software and Systems (ESSOS) tenutosi a Munich, Germany nel 26-28/2/2014.2014BETTASSA COPET, PIERGIUSEPPE  ; SISTO, Riccardo  -

     
     
     
    Powered by IRIS-about IRIS-Utilizzo dei cookie
    Logo CINECA  Copyright © 2019