e-Archivo Home
→
Investigación
→
Search

Search

Filters

Use filters to refine the search results.

Current Filters:





New Filters:

Showing 1 out of a total of 1 results for community: Investigación. (0.014 seconds)

Now showing items 1-1 of 1

1

Sort Options:
Results Per Page:
- 5
- 10
- 20
- 40
- 60
- 80
- 100

L–PEP: a logic to reason about privacy–enhancing cryptography protocols (article)

Alcaide Raya, Almudena ; Abdallah, Ali ; González-Tablas Ferreres, Ana Isabel ; Fuentes, José María de
2011
Joaquín García-Alfaro et al. (eds.), Data privacy management and autonomous spontaneous security. 5th International Workshop, DPM 2010, and 3rd InternationalWorkshop, SETOP 2010, Athens, Greece, September 23, 2010 (pp. 108-122). Revised selected papers. Berlin: Springer, 2011

Now showing items 1-1 of 1

1

Sort Options:
Results Per Page:
- 5
- 10
- 20
- 40
- 60
- 80
- 100

Browse

All e-Archivo
This Community

Refine Search

Date Issued
- 2011 (1)
Author
- Abdallah, Ali (1)
- Alcaide Raya, Almudena (1)
- Fuentes, José María de (1)
- González-Tablas Ferreres, Ana Isabel (1)
Document Type
- article (1)
- bookPart (1)
- conferenceObject (1)
Subject
- Formal protocol verification (1)
- Informática (1)
- Non-monotonic cryptography protocols (1)
- Privacy-enhancing protocols (1)
- ... View More
Language (ISO)
- eng (1)

Help