- idUS
- Investigación
- Ingeniería y Arquitectura
- Ciencias de la Computación e Inteligencia Artificial
- Ponencias (Ciencias de la Computación e Inteligencia Artificial)
- Browsing Ponencias (Ciencias de la Computación e Inteligencia Artificial) by Author
Browsing Ponencias (Ciencias de la Computación e Inteligencia Artificial) by Author "Fernández Duque, David"
Now showing items 1-1 of 1
-
Presentation
Secure Communication of Local States in Interpreted Systems
Albert, Michael; Cordón Franco, Andrés; Ditmarsch, Hans P. van; Fernández Duque, David; Joosten, Joost J.; Soler Toscano, Fernando (Springer, 2011)Given an interpreted system, we investigate ways for two agents to communicate secrets by public announcements. For card ...