| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Gabriele Costa, Pierpaolo Degano, Fabio Martinelli |
Modular plans for secure service composition.  |
Journal of Computer Security  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Martinelli, Charles Morisset |
Quantitative access control with partially-observable Markov decision processes. |
CODASPY |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Georgios Karopoulos, Paolo Mori, Fabio Martinelli |
Continuous Authorizations in SIP with Usage Control. |
PDP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Costa, Pierpaolo Degano, Fabio Martinelli |
Secure service orchestration in open networks. |
Journal of Systems Architecture - Embedded Systems Design |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pietro Caputo, Fabio Martinelli, Fabio Lucio Toninelli |
Convergence to equilibrium of biased plane Partitions. |
Random Struct. Algorithms |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David Galvin, Fabio Martinelli, Kavita Ramanan, Prasad Tetali |
The Multistate Hard Core Model on a Regular Tree. |
SIAM J. Discrete Math. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Leanid Krautsevich, Fabio Martinelli, Artsiom Yautsiukhin |
A General Method for Assessment of Security in Complex Services. |
ServiceWave |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Costa, Valérie Issarny, Fabio Martinelli, Ilaria Matteucci, Rachid Saadi |
Security and Trust. |
SFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Leanid Krautsevich, Aliaksandr Lazouski, Fabio Martinelli, Artsiom Yautsiukhin |
Cost-effective Enforcement of UCONA Policies. |
CRiSIS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Leanid Krautsevich, Fabio Martinelli, Artsiom Yautsiukhin |
Formal Analysis of Security Metrics and Risk. |
WISTP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Martinelli, Paolo Mori |
A Distributed Authorization System with Mobile Usage Control Policies. |
EUROCAST |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pietro Caputo, Fabio Martinelli, Fabio Lucio Toninelli |
Sharp Mixing Time Bounds for Sampling Random Surfaces. |
FOCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Leanid Krautsevich, Fabio Martinelli, Charles Morisset, Artsiom Yautsiukhin |
Risk-Based Auto-delegation for Probabilistic Availability. |
DPM/SETOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wouter Joosen, Javier Lopez, Fabio Martinelli, Fabio Massacci |
Engineering Secure Future Internet Services. |
Future Internet Assembly |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Aliaksandr Lazouski, Fabio Martinelli, Paolo Mori |
Usage control in computer security: A survey. |
Computer Science Review |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Theo Dimitrakos, Fabio Martinelli, Bruce Schneier |
Special issue on security and trust management for dynamic coalitions. |
Security and Communication Networks |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Levente Buttyán, László Dóra, Fabio Martinelli, Marinella Petrocchi |
Fast certificate-based authentication scheme in multi-operator maintained wireless mesh networks. |
Computer Communications |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Martinelli, Paolo Mori |
On usage control for GRID systems. |
Future Generation Comp. Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Martinelli, Alistair Sinclair |
Mixing Time for the Solid-on-Solid Model |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Gabriele Costa, Francesco La Torre, Fabio Martinelli, Paolo Mori |
Parental Control for Mobile Devices. |
ERCIM News |
2010 |
DBLP BibTeX RDF |
|
| 1 | Gabriele Costa, Fabio Martinelli, Paolo Mori, Christian Schaefer, Thomas Walter |
Runtime monitoring for next generation Java ME platform. |
Computers & Security |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurizio Colombo, Aliaksandr Lazouski, Fabio Martinelli, Paolo Mori |
Access and Usage Control in Grid Systems. |
Handbook of Information and Communication Security |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Leanid Krautsevich, Fabio Martinelli, Artsiom Yautsiukhin |
Formal approach to security metrics.: what does "more secure" mean for you? |
ECSA Companion Volume |
2010 |
DBLP DOI BibTeX RDF |
formal metrics, security metrics, security measurements |
| 1 | Gabriela Gheorghe, Paolo Mori, Bruno Crispo, Fabio Martinelli |
Enforcing UCON Policies on the Enterprise Service Bus. |
OTM Conferences |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Leanid Krautsevich, Aliaksandr Lazouski, Fabio Martinelli, Paolo Mori, Artsiom Yautsiukhin |
Usage Control, Risk and Trust. |
TrustBus |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Costa, Pierpaolo Degano, Fabio Martinelli |
Modular Plans for Secure Service Composition. |
ARSPA-WITS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Leanid Krautsevich, Aliaksandr Lazouski, Fabio Martinelli, Artsiom Yautsiukhin |
Influence of Attribute Freshness on Decision Making in Usage Control. |
STM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Fabio Martinelli, Francesco Santini |
A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints. |
ATC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Costa, Nicola Dragoni, Aliaksandr Lazouski, Fabio Martinelli, Fabio Massacci, Ilaria Matteucci |
Extending Security-by-Contract with Quantitative Trust on Mobile Devices. |
CISIS |
2010 |
DBLP DOI BibTeX RDF |
Security, Trust |
| 1 | Leanid Krautsevich, Aliaksandr Lazouski, Fabio Martinelli, Artsiom Yautsiukhin |
Risk-Based Usage Control for Service Oriented Architecture. |
PDP |
2010 |
DBLP DOI BibTeX RDF |
Security, service oriented architecture, risk, usage control |
| 1 | Fabio Martinelli, Bart Preneel (eds.) |
Public Key Infrastructures, Services and Applications - 6th European Workshop, EuroPKI 2009, Pisa, Italy, September 10-11, 2009, Revised Selected Papers |
EuroPKI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hristo Koshutanski, Aliaksandr Lazouski, Fabio Martinelli, Paolo Mori |
Enhancing grid security by fine-grained behavioral control and negotiation-based authorization. |
Int. J. Inf. Sec. |
2009 |
DBLP DOI BibTeX RDF |
Access control, Authorization, Trust negotiation, Grid security, Behavioral control |
| 1 | Massimo Bartoletti, Gabriele Costa, Pierpaolo Degano, Fabio Martinelli, Roberto Zunino |
Securing Java with Local Policies. |
Journal of Object Technology |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Gorrieri, Fabio Martinelli, Ilaria Matteucci |
Towards Information Flow Properties for Distributed Systems. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Theodosis Dimitrakos, Fabio Martinelli |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierangela Samarati, Moti Yung, Fabio Martinelli, Claudio Agostino Ardagna (eds.) |
Information Security, 12th International Conference, ISC 2009, Pisa, Italy, September 7-9, 2009. Proceedings |
ISC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Amato, Paolo Bolettieri, Gabriele Costa, Francesco La Torre, Fabio Martinelli |
Detection of images with adult content for parental control on mobile devices? |
Mobility Conference |
2009 |
DBLP DOI BibTeX RDF |
security, mobile |
| 1 | Pierpaolo Degano, Joshua D. Guttman, Fabio Martinelli (eds.) |
Formal Aspects in Security and Trust, 5th International Workshop, FAST 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers |
Formal Aspects in Security and Trust |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurizio Colombo, Fabio Martinelli, Paolo Mori, Aliaksandr Lazouski |
On Usage Control for GRID Services. |
CSO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Federico Stagni, Alvaro Arenas, Benjamin Aziz, Fabio Martinelli |
On Usage Control in Data Grids. |
IFIPTM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Martinelli, Marinella Petrocchi |
Executable Specification of Cryptofraglets in Maude for Security Verification. |
BIONETICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Martinelli, Ilaria Matteucci |
Idea: Action Refinement for Security Properties Enforcement. |
ESSoS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Martinelli, Alistair Sinclair |
Mixing time for the solid-on-solid model. |
STOC |
2009 |
DBLP DOI BibTeX RDF |
glauber dynamics, markov chain monte carlo (mcmc), mixing time, ising model, statistical physics |
| 1 | Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi |
Formal Models and Analysis of Secure Multicast in Wired and Wireless Networks. |
J. Autom. Reasoning |
2008 |
DBLP DOI BibTeX RDF |
Formal security models and analysis, Multicast communication |
| 1 | Fabio Martinelli, Fabio Massacci, Paolo Mori, Christian Schaefer, Thomas Walter |
Enhancing Java ME Security Support with Resource Usage Monitoring. |
ERCIM News |
2008 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Castrucci, Fabio Martinelli, Paolo Mori, Francesco Roperti |
Enhancing Java ME Security Support with Resource Usage Monitoring. |
ICICS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Aziz, Alvaro Arenas, Fabio Martinelli, Ilaria Matteucci, Paolo Mori |
Controlling Usage in Business Process Workflows through Fine-Grained Security Policies. |
TrustBus |
2008 |
DBLP DOI BibTeX RDF |
Fine-grained Security Policies, Workflow Monitoring, Business Processes |
| 1 | Syed Naqvi, Philippe Massonet, Benjamin Aziz, Alvaro Arenas, Fabio Martinelli, Paolo Mori, Lorenzo Blasi, Giovanni Cortese |
Fine-Grained Continuous Usage Control of Service Based Grids - The GridTrust Approach. |
ServiceWave |
2008 |
DBLP DOI BibTeX RDF |
service security, trust infrastructure, usage control, Grid technology |
| 1 | Stefano Campanelli, Alessandro Falleni, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli |
Mobile Implementation and Formal Verification of an e-Voting System. |
ICIW |
2008 |
DBLP DOI BibTeX RDF |
Mobile e-voting, implementation, formal validation |
| 1 | Stefano Bistarelli, Fabio Martinelli, Francesco Santini |
A Semantic Foundation for Trust Management Languages with Weights: An Application to the RTFamily. |
ATC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Greci, Fabio Martinelli, Ilaria Matteucci |
A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device Application. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
Contract-policy matching, symbolic transition systems, mobile application, simulation relation |
| 1 | Stefano Bistarelli, Fabio Martinelli, Francesco Santini |
Weighted Datalog and Levels of Trust. |
ARES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Martinelli, Ilaria Matteucci |
Synthesis of Local Controller Programs for Enforcing Global Security Properties. |
ARES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Lenzini, Fabio Martinelli, Ilaria Matteucci, Stefania Gnesi |
A Uniform Approach to Security and Fault-Tolerance Specification and Analysis. |
WADS |
2008 |
DBLP DOI BibTeX RDF |
Software Architecture Formal Analysis, Security, Fault Tolerance |
| 1 | Theodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve Schneider |
Guest Editors' Preface. |
Int. J. Inf. Sec. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Martinelli, Alistair Sinclair, Dror Weitz |
Fast mixing for independent sets, colorings, and other models on trees. |
Random Struct. Algorithms |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Martinelli, Marinella Petrocchi |
On Relating and Integrating Two Trust Management Frameworks. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Martinelli, Marinella Petrocchi |
A Uniform Framework for Security and Trust Modeling and Analysis with Crypto-CCS. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Martinelli, Ilaria Matteucci |
An Approach for the Specification, Verification and Synthesis of Secure Systems. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Martinelli, Ilaria Matteucci |
Through Modeling to Synthesis of Security Automata. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Stefania Gnesi, Fabio Martinelli, Franco Mazzanti, Marinella Petrocchi |
Formal Modelling and Verification in Service-Oriented Computing. |
ERCIM News |
2007 |
DBLP BibTeX RDF |
|
| 1 | Maurizio Colombo, Fabio Martinelli, Paolo Mori, Marinella Petrocchi, Anna Vaccarelli |
Fine Grained Access Control with Trust and Reputation Management for Globus. |
OTM Conferences |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Martinelli, Ilaria Matteucci |
Synthesis of Web Services Orchestrators in a Timed Setting. |
WS-FM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Theodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve A. Schneider (eds.) |
Formal Aspects in Security and Trust, Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers |
Formal Aspects in Security and Trust |
2007 |
DBLP BibTeX RDF |
|
| 1 | Fabio Martinelli, Paolo Mori |
Enhancing Java Security with History Based Access Control. |
FOSAD |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Martinelli |
A model for usage control in GRID systems. |
SecureComm |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Martinelli, Paolo Mori |
A model for usage control in GRID systems. |
SecureComm |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurizio Colombo, Fabio Martinelli, Paolo Mori, Anna Vaccarelli |
Extending the Globus Architecture with Role-Based Trust Management. |
EUROCAST |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi |
A Formalization of Credit and Responsibility Within the GNDC Schema. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli |
Formal analysis of some secure procedures for certificate delivery. |
Softw. Test., Verif. Reliab. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hristo Koshutanski, Fabio Martinelli, Paolo Mori, Luca Borz, Anna Vaccarelli |
A Fine-Grained and X.509-Based Access Control System for Globus. |
OTM Conferences |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ketil Stølen, William H. Winsborough, Fabio Martinelli, Fabio Massacci (eds.) |
Trust Management, 4th International Conference, iTrust 2006, Pisa, Italy, May 16-19, 2006, Proceedings |
iTrust |
2006 |
DBLP BibTeX RDF |
|
| 1 | Theodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve A. Schneider (eds.) |
Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers |
Formal Aspects in Security and Trust |
2006 |
DBLP BibTeX RDF |
|
| 1 | Hristo Koshutanski, Fabio Martinelli, Paolo Mori, Anna Vaccarelli |
Fine-grained and History-based Access Control with Trust Management for Autonomic Grid Services. |
ICAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Fabio Martinelli |
Relating multiset rewriting and process algebras for security protocol analysis. |
Journal of Computer Security |
2005 |
DBLP BibTeX RDF |
|
| 1 | Roberto Gorrieri, Fabio Martinelli |
Theoretical foundations of security analysis and design II. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Gnesi, Gabriele Lenzini, Fabio Martinelli |
Logical Specification and Analysis of Fault Tolerant Systems Through Partial Model Checking. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Nadia Busi, Roberto Gorrieri, Fabio Martinelli |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrizio Baiardi, Alessandro Falleni, Riccardo Granchi, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli |
SEAS, a secure e-voting protocol: Design and implementation. |
Computers & Security |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Martinelli |
Towards an Integrated Formal Analysis for Security and Trust. |
FMOODS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Theodosis Dimitrakos, Fabio Martinelli (eds.) |
Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), an event of the 18th IFIP World Computer Congress, August 22-27, 2004, Toulouse, France |
Formal Aspects in Security and Trust |
2005 |
DBLP BibTeX RDF |
|
| 1 | Fabio Martinelli, Paolo Mori, Anna Vaccarelli |
Towards Continuous Usage Control on Grid Computational Services. |
ICAS/ICNS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli (eds.) |
Foundations of Security Analysis and Design III, FOSAD 2004/2005 Tutorial Lectures |
FOSAD |
2005 |
DBLP BibTeX RDF |
|
| 1 | Fabio Dianda, Filippo Giuntini, Fabio Martinelli, Anna Vaccarelli |
A Flexible Framework for Access Control Based on Ability Authentication. |
SAINT Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci |
Automated analysis of timed security: a case study on web privacy. |
Int. J. Inf. Sec. |
2004 |
DBLP DOI BibTeX RDF |
Web privacy, Model checking tools, Timed behavior |
| 1 | Roberto Gorrieri, Fabio Martinelli |
A simple framework for real-time cryptographic protocol analysis with compositional proof rules. |
Sci. Comput. Program. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Gnesi, Gabriele Lenzini, Fabio Martinelli |
Applying Generalized Non Deducibility on Compositions (GNDC) Approach in Dependability. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Martinelli, Alistair Sinclair, Dror Weitz |
Fast mixing for independent sets, colorings and other models on trees. |
SODA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrizio Baiardi, Fabio Martinelli, Paolo Mori, Anna Vaccarelli |
Improving Grid Services Security with Fine Grain Policies. |
OTM Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Martinelli |
Analysis of security protocols as open systems. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli |
A comparison of three authentication properties. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli |
Real-time information flow analysis. |
IEEE Journal on Selected Areas in Communications |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Martinelli |
Symbolic Partial Model Checking for Security Analysis. |
MMM-ACNS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Fabio Martinelli |
Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols. |
MMM-ACNS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli |
Formal Anaylsis of Some Timed Security Properties in Wireless Protocols. |
FMOODS |
2003 |
DBLP DOI BibTeX RDF |
Security, Sensor Networks, Wireless Communication, Formal Analysis |
| 1 | Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli |
Compositional Verification of Secure Streamed Data: A Case Study with EMSS. |
ICTCS |
2003 |
DBLP DOI BibTeX RDF |
Compositional Analysis and Verification, Digital Streams, Security, Integrity |
| 1 | Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli |
Compositional Verification of Integrity for Digital Stream Signature Protocols. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Gorrieri, Fabio Martinelli |
Process Algebraic Frameworks for the Specification and Analysis of Cryptographic Protocols. |
MFCS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Martinelli |
Biometrics to Enhance Smartcard Security (Discussion). |
Security Protocols Workshop |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Giampaolo Bella, Stefano Bistarelli, Fabio Martinelli |
Biometrics to Enhance Smartcard Security. |
Security Protocols Workshop |
2003 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")