Sfoglia per Autore
LTL Model Checking for Security Protocols
2007-01-01 Armando, Alessandro; Carbone, Roberto; Compagna, L.
Formal Analysis of SAML 2.0 Web Browser Single Sign-On: Breaking the SAML-based Single Sign-On for Google Apps.
2008-01-01 Armando, Alessandro; Carbone, Roberto; Compagna, L.; Cuellar, J.; Tobarra, L.
Verification of S&D Solutions for Network Communications and Devices
2009-01-01 C., Rudolph; L., Compagna; Carbone, Roberto; A., Muñoz; J., Repp
LTL Model Checking for Security Protocols
2009-01-01 Armando, Alessandro; Carbone, Roberto; Compagna, L.
Model-Checking Driven Security Testing of Web-Based Applications
2010-01-01 Armando, Alessandro; Carbone, Roberto; L., Compagna; L., Keqin; G., Pellegrino
Deploy, Adjust and Readjust: Supporting Dynamic Reconfiguration of Policy Enforcement
2011-01-01 G., Gheorghe; B., Crispo; Carbone, Roberto; L., Desmet; W., Joosen
LTL Model-Checking for Security Protocols
2011-01-01 Carbone, Roberto
Automated Analysis of Semantic-Aware Access Control Policies: a Logic-based Approach
2011-01-01 Armando, Alessandro; Carbone, Roberto; Ranise, Silvio
From Multiple Credentials to Browser-based Single Sign-On: Are We More Secure?
2011-01-01 Armando, Alessandro; Carbone, Roberto; L., Compagna; J., Cuellar; G., Pellegrino; A., Sorniotti
Towards Formal Validation of Trust and Security in the Internet of Services
2011-01-01 Carbone, Roberto; M., Minea; S. A., Mödersheim; S. E., Ponta; M., Turuani; L., Viganò
Automatic Security Analysis of SAML-based Single Sign-On Protocols
2012-01-01 Armando, Alessandro; Carbone, Roberto; L., Compagna; G., Pellegrino
From Model-checking to Automated Testing of Security Protocols: Bridging the Gap
2012-01-01 Armando, Alessandro; G., Pellegrino; Carbone, Roberto; A., Merlo; D., Balzarotti
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures
2012-01-01 Armando, Alessandro; W., Arsac; T., Avanesov; M., Barletta; A., Calvi; A., Cappai; Carbone, Roberto; Y., Chevalier; L., Compagna; J., Cuéllar; G., Erzse; S., Frau; M., Minea; S., Mödersheim; D., von Oheimb; G., Pellegrino; S. E., Ponta; M., Rocchetto; M., Rusinowitch; M., Torabi Dashti; M., Turuani; L., Viganò
Formal Analysis of a Privacy-Preserving Billing Protocol
2012-01-01 Armando, Alessandro; Carbone, Roberto; A., Merlo
An Authentication Flaw in Browser-based Single Sign-On Protocols: Impact and Remediations
2013-01-01 Armando, Alessandro; Carbone, Roberto; L., Compagna; J., Cuellar; G., Pellegrino; A., Sorniotti
Formal Modeling and Automatic Security Analysis of Two-Factor and Two-Channel Authentication Protocols
2013-01-01 Armando, Alessandro; Carbone, Roberto; L., Zanetti
Attribute Based Access Control for APIs in Spring Security
2014-01-01 Armando, Alessandro; Carbone, Roberto; Chekole, Eyasu Getahun; Ranise, Silvio
SATMC: a SAT-based Model Checker for Security-critical Systems
2014-01-01 Armando, Alessandro; Carbone, Roberto; Compagna, L.
Selective Release of Smart Metering Data in Multi-domain Smart Grids
2014-01-01 Armando, Alessandro; Carbone, Roberto; Chekole, Eyasu Getahun; Petrazzuolo, C.; Ranalli, A.; Ranise, Silvio
Security Threat Identification and Testing
2015-01-01 Carbone, Roberto; Compagna, Luca; Panichella, Annibale; Ponta, Serena Elisa
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
LTL Model Checking for Security Protocols | 1-gen-2007 | Armando, Alessandro; Carbone, Roberto; Compagna, L. | |
Formal Analysis of SAML 2.0 Web Browser Single Sign-On: Breaking the SAML-based Single Sign-On for Google Apps. | 1-gen-2008 | Armando, Alessandro; Carbone, Roberto; Compagna, L.; Cuellar, J.; Tobarra, L. | |
Verification of S&D Solutions for Network Communications and Devices | 1-gen-2009 | C., Rudolph; L., Compagna; Carbone, Roberto; A., Muñoz; J., Repp | |
LTL Model Checking for Security Protocols | 1-gen-2009 | Armando, Alessandro; Carbone, Roberto; Compagna, L. | |
Model-Checking Driven Security Testing of Web-Based Applications | 1-gen-2010 | Armando, Alessandro; Carbone, Roberto; L., Compagna; L., Keqin; G., Pellegrino | |
Deploy, Adjust and Readjust: Supporting Dynamic Reconfiguration of Policy Enforcement | 1-gen-2011 | G., Gheorghe; B., Crispo; Carbone, Roberto; L., Desmet; W., Joosen | |
LTL Model-Checking for Security Protocols | 1-gen-2011 | Carbone, Roberto | |
Automated Analysis of Semantic-Aware Access Control Policies: a Logic-based Approach | 1-gen-2011 | Armando, Alessandro; Carbone, Roberto; Ranise, Silvio | |
From Multiple Credentials to Browser-based Single Sign-On: Are We More Secure? | 1-gen-2011 | Armando, Alessandro; Carbone, Roberto; L., Compagna; J., Cuellar; G., Pellegrino; A., Sorniotti | |
Towards Formal Validation of Trust and Security in the Internet of Services | 1-gen-2011 | Carbone, Roberto; M., Minea; S. A., Mödersheim; S. E., Ponta; M., Turuani; L., Viganò | |
Automatic Security Analysis of SAML-based Single Sign-On Protocols | 1-gen-2012 | Armando, Alessandro; Carbone, Roberto; L., Compagna; G., Pellegrino | |
From Model-checking to Automated Testing of Security Protocols: Bridging the Gap | 1-gen-2012 | Armando, Alessandro; G., Pellegrino; Carbone, Roberto; A., Merlo; D., Balzarotti | |
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures | 1-gen-2012 | Armando, Alessandro; W., Arsac; T., Avanesov; M., Barletta; A., Calvi; A., Cappai; Carbone, Roberto; Y., Chevalier; L., Compagna; J., Cuéllar; G., Erzse; S., Frau; M., Minea; S., Mödersheim; D., von Oheimb; G., Pellegrino; S. E., Ponta; M., Rocchetto; M., Rusinowitch; M., Torabi Dashti; M., Turuani; L., Viganò | |
Formal Analysis of a Privacy-Preserving Billing Protocol | 1-gen-2012 | Armando, Alessandro; Carbone, Roberto; A., Merlo | |
An Authentication Flaw in Browser-based Single Sign-On Protocols: Impact and Remediations | 1-gen-2013 | Armando, Alessandro; Carbone, Roberto; L., Compagna; J., Cuellar; G., Pellegrino; A., Sorniotti | |
Formal Modeling and Automatic Security Analysis of Two-Factor and Two-Channel Authentication Protocols | 1-gen-2013 | Armando, Alessandro; Carbone, Roberto; L., Zanetti | |
Attribute Based Access Control for APIs in Spring Security | 1-gen-2014 | Armando, Alessandro; Carbone, Roberto; Chekole, Eyasu Getahun; Ranise, Silvio | |
SATMC: a SAT-based Model Checker for Security-critical Systems | 1-gen-2014 | Armando, Alessandro; Carbone, Roberto; Compagna, L. | |
Selective Release of Smart Metering Data in Multi-domain Smart Grids | 1-gen-2014 | Armando, Alessandro; Carbone, Roberto; Chekole, Eyasu Getahun; Petrazzuolo, C.; Ranalli, A.; Ranise, Silvio | |
Security Threat Identification and Testing | 1-gen-2015 | Carbone, Roberto; Compagna, Luca; Panichella, Annibale; Ponta, Serena Elisa |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile