Items where Author is "Giambiagi, Pablo"

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Item Type | No Grouping
Number of items: 13.


Giambiagi, Pablo and Mads, Dam (2004) On the Secure Implementation of Security Protocols. Science of Computer Programming , 50 (1-3). pp. 73-99.

Book Section

Giambiagi, Pablo and Schneider, Gerardo and Valencia, Frank D. (2004) On the expressiveness of infinite behavior and name scoping in process calculi. In: Foundations of Software Science and Computation Structures (7th Intl Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Proceeding). Lecture Notes in Computer Science (2987). Springer, pp. 226-240. ISBN 978-3-540-21298-0

Conference or Workshop Item

Berglund, Åsa and Bjurling, Björn and Dantas, Ramide and Engberg, Susanne and Giambiagi, Pablo and Ohlman, Börje (2009) Towards goal-based autonomic networking. In: Third International Workshop on Distributed Autonomous Network Management Systems, 30 Nov 2008, New Orleans, Louisiana, USA.

Bjurling, Björn and Giambiagi, Pablo (2008) Contracts for controlling business processes in dynamic environments. In: First International Workshop on Dynamic and Declarative Business Processes, September 17, 2008, Munich, Germany.

Darko-Ampem, Sakyibea and Katsoufi, Maria and Giambiagi, Pablo (2006) Secure Negotiation in Virtual Organizations. In: Advances in Quality of Service Management (AQuSerM 2006), 16-20 Oct 2006, Hong Kong. (In Press)

Giambiagi, Pablo and Owe, Olaf and Ravn, Anders P. and Schneider, Gerardo (2006) Language-Based Support for Service Oriented Architectures: Future Directions. In: 1st International Conference on Software and Data Technologies (ICSOFT 2006), 11-14 Sep 2006, Setúbal, Portugal.

Wilson, Michael D. and Chadwick, David and Dimitrakos, Theo and Döser, Jürgen and Giambiagi, Pablo and Golby, David and Geuer-Pollman, Christian and Haller, Jochen and Ketil, Stølen and Mahler, Tobias and Martino, Lorenzo and Parent, Xavier and Ristol, Santi and Sairamesh, Jakka and Schubert, Lutz and Tuptuk, Nilufer (2006) The TrustCoM approach to enforcing agreements between interoperating enterprises. In: Interoperability for Enterprise Software and Applications (I-ESA'06), 22-24 Mar 2006, Bordeaux, France.

Boström, Gustav and Giambiagi, Pablo and Olsson, Tomas (2006) Quality of Service Evaluation in Virtual Organizations Using SLAs. In: 1st International Workshop on Interoperability Solutions to Trust, Security, Policies and QoS for Enhanced Enterprise Systems (IS-TSPQ 2006), 21 Mar 2006, Bordeaux, France.

Giambiagi, Pablo and Schneider, Gerardo (2005) Memory Consumption Analysis of Java Smart Cards. In: XXXI Latin American Informatics Conference (CLEI 2005), 10-14 Oct 2005, Cali, Colombia.

Svirskas, Adomas and Wilson, Michael D. and Arenas, Alvaro E. and Lupu, Emil C. and Giambiagi, Pablo and Tuptuk, Nilufer and Chadwick, David and Dimitrakos, Theo and Roberts, Bruce (2005) Aspects of Trusted and Secure Business-Oriented VO Management in Service Oriented Architectures. In: 1st IEEE Workshop on Service Oriented Solutions for Cooperative Organizations (SOS4CO '05), July 2005.

Dam, Mads and Giambiagi, Pablo (2000) Confidentiality for mobile code: the case of a simple payment protocol. In: Proceedings of the 13th IEEE Computer Security Foundations Workshop, 3-5 July 2000, Cambridge, UK.

SICS Report

Giambiagi, Pablo (2001) Secrecy for Mobile Implementations of Security Protocols. [SICS Report]


Giambiagi, Pablo (2001) Secrecy for mobile implementations of security protocols. Licentiate thesis, KTH.

This list was generated on Sun Jun 23 18:45:21 2019 CEST.