|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9 occurrences of 8 keywords
|
|
|
|
|
Results
Found 10 publication records. Showing 10 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | María-Emilia Cambronero, Gregorio Díaz, Enrique Martínez, Valentín Valero Ruiz, M. Llanos Tobarra |
WST: a tool supporting timed composite Web Services Model transformation.  |
Simulation  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz, María-Emilia Cambronero |
Model checking wireless sensor network security protocols: TinySec + LEAP + TinyPK. |
Telecommunication Systems |
2009 |
DBLP DOI BibTeX RDF |
AVISPA toolbox, Model checking, Security protocols, Wireless sensor |
| 1 | M. Llanos Tobarra, Diego Cazorla, Juan José Pardo, Fernando Cuartero |
Formal Verification of the Secure Sockets Layer Protocol. |
ICEIS (3-2) |
2008 |
DBLP BibTeX RDF |
|
| 1 | Gregorio Díaz, María-Emilia Cambronero, M. Llanos Tobarra, Valentín Valero Ruiz, Fernando L. Pelayo |
Enhancing the expressivity of PADL for specifying Web Services Architectures. |
TAMoCo |
2008 |
DBLP BibTeX RDF |
|
| 1 | M. Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Juan José Pardo |
Modelling secure wireless sensor networks routing protocols with timed automata. |
PM2HW2N |
2008 |
DBLP DOI BibTeX RDF |
security, wireless sensor networks, timed automata |
| 1 | Alessandro Armando, Roberto Carbone, Luca Compagna, Jorge Cuéllar, M. Llanos Tobarra |
Formal analysis of SAML 2.0 web browser single sign-on: breaking the SAML-based single sign-on for google apps. |
FMSE |
2008 |
DBLP DOI BibTeX RDF |
saml single sign-on, sat-based model checking, security protocols, bounded model checking |
| 1 | M. Llanos Tobarra, Diego Cazorla, Fernando Cuartero |
Formal Analysis of Sensor Network Encryption Protocol (SNEP). |
MASS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz |
Analysis of Web Services Secure Conversation with Formal Methods. |
ICIW |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregorio Díaz, María-Emilia Cambronero, M. Llanos Tobarra, Valentin Valero, Fernando Cuartero |
Analysis and Verification of Time Requirements Applied to the Web Services Composition. |
WS-FM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz |
Application of Formal Methods to the Analysis of Web Services Security. |
EPEW/WS-FM |
2005 |
DBLP DOI BibTeX RDF |
Protocols and standards for WS, Security of WS, Secure Electronic Commerce |
Displaying result #1 - #10 of 10 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")