Publications

67 entries « 1 of 2 »

2013

Breaux, Travis; Gordon, David; Papanikolaou, Nick; Pearson, Siani

Mapping Legal Requirements to IT Controls Technical Report

HP Laboratories no. HPL-2013-39, 2013.

Abstract | Links | BibTeX | Tags:

Papanikolaou, Nick; Pearson, Siani

Cross-Disciplinary Review of the Concept of Accountability Technical Report

HP Laboratories no. HPL-2013-37, 2013.

Links | BibTeX | Tags:

Papanikolaou, Nick; Pearson, Siani

Cross-Disciplinary Review of the Concept of Accountability Proceedings Article

In: Proceedings of the DIMACS/BIC/A4Cloud/CSA International Workshop on Trustworthiness, Accountability and Forensics in the Cloud (TAFC), 2013.

Abstract | Links | BibTeX | Tags:

Breaux, Travis; Gordon, David; Papanikolaou, Nick; Pearson, Siani

Mapping Legal Requirements to IT Controls Proceedings Article

In: Proceedings of the Sixth International Workshop on Requirements Engineering and Law (RELAW), 2013.

Abstract | Links | BibTeX | Tags:

Catteddu, Daniele; Felici, Massimo; Hogben, Giles; Holcroft, Amy; Kosta, Eleni; Leenes, Ronald; Millard, Christopher; Niezen, Maartje; nez, David Nu; Papanikolaou, Nick; Pearson, Siani; Pradelles, Daniel; Reed, Chris; Rong, Chunming; Royer, Jean-Claude; Stefanatou, Dimitra; Wlodarczyk, Tomasz

Towards a Model of Accountability for Cloud Computing Services Technical Report

HP Laboratories no. HPL-2013-38, 2013.

Abstract | Links | BibTeX | Tags:

Catteddu, Daniele; Felici, Massimo; Hogben, Giles; Holcroft, Amy; Kosta, Eleni; Leenes, Ronald; Millard, Christopher; Niezen, Maartje; nez, David Nu; Papanikolaou, Nick; Pearson, Siani; Pradelles, Daniel; Reed, Chris; Rong, Chunming; Royer, Jean-Claude; Stefanatou, Dimitra; Wlodarczyk, Tomasz

Towards a Model of Accountability for Cloud Computing Services Proceedings Article

In: Proceedings of the DIMACS/BIC/A4Cloud/CSA International Workshop on Trustworthiness, Accountability and Forensics in the Cloud (TAFC), 2013.

Abstract | Links | BibTeX | Tags:

Galis, Alex; Gavras, Anastasius; Alvarez, Federico; Bassi, Alessandro; Bezzi, Michele; Ciavaglia, Laurent; Cleary, Frances; Daras, Petros; de Meer, Herman; Demestichas, Panagiotis; Domingue, John; Kanter, Theo; Karnouskos, Stamatis; Krco, Srdjan; Lefevre, Laurent; Lentjes, Jasper; Li, Man-Sze; Malone, Paul; Manzalini, Antonio; Lotz, Volkmar; Muller, Henning; Oberle, Karsten; O'Connor, Noel; Papanikolaou, Nick; Petcu, Dana; Rahmani, Rahim; Raz, Danny; Richards, Gael; Salvadori, Elio; Sargento, Susana; Schaffers, Hans; Serat, Joan; Stiller, Burkhard; Skarmeta, Antonio; Tutschku, Kurt; Zahariadis, Theodore (Ed.)

The Future Internet / Future Internet Assembly 2013: Validated Results and New Horizons Book

Springer, 2013.

BibTeX | Tags:

2012

Cleary, Frances; Howker, Keith; Massacci, Fabio; Wainwright, Nick; Papanikolaou, Nick; Bezzi, Michele; Rodriguez, Pedro Soria

EFFECTS+ Clustering of Trust and Security Research Projects, Identifying Results, Impact and Future Research Roadmap Topics Proceedings Article

In: Proceedings of e-Challenges e-2012 Conference, Lisbon, Portugal, 2012.

Abstract | Links | BibTeX | Tags:

Wainwright, Nick; Papanikolaou, Nick

Forming A Vision for Future Internet Research Proceedings Article

In: Proceedings of e-Challenges e-2012 Conference, Lisbon, Portugal, 2012.

Abstract | Links | BibTeX | Tags:

Papanikolaou, Nick

Natural Language Processing of Rules and Regulations for Compliance in the Cloud Proceedings Article

In: Proceedings of DOA-SVI 2012, Rome, Italy, 2012.

Abstract | Links | BibTeX | Tags:

Papanikolaou, Nikolaos; Creese, Sadie; Goldsmith, Michael

Refinement Checking for Privacy Policies Journal Article

In: Science of Computer Programming, vol. 77, no. 10, 11, pp. 1198, 2012.

Abstract | Links | BibTeX | Tags:

Monahan, Brian; Papanikolaou, Nick

Formal Analysis and Verification of Systems Security Models with Gnosis Miscellaneous

2012.

Abstract | Links | BibTeX | Tags:

Mont, Marco Casassa; McCorry, Kieran; Papanikolaou, Nick; Pearson, Siani

Security And Privacy Governance In Cloud Computing Via SLAs And A Policy Orchestration Service Technical Report

HP Laboratories no. HPL-2012-55, 2012.

Abstract | Links | BibTeX | Tags:

Papanikolaou, Nick; Pearson, Siani; Mont, Marco Casassa; Ko, Ryan

Automating Compliance for Cloud Computing Services Technical Report

HP Laboratories no. HPL-2012-56, 2012.

BibTeX | Tags:

Mont, Marco Casassa; McCorry, Kieran; Papanikolaou, Nick; Pearson, Siani

Security and Privacy Governance In Cloud Computing via SLAs and a Policy Orchestration Service Proceedings Article

In: Proceedings of the 2textsuperscriptnd International Conference on Cloud Computing and Services Science (CLOSER 2012), SciTePress, 2012.

Abstract | Links | BibTeX | Tags:

Davidson, Timothy; Gay, Simon J; Mlnarík, Hynek; Nagarajan, Rajagopal; Papanikolaou, Nikolaos

Model Checking for Communicating Quantum Processes Journal Article

In: International Journal of Unconventional Computing, vol. 8, no. 1, pp. 73–98, 2012.

Abstract | Links | BibTeX | Tags:

Monahan, Brian; Papanikolaou, Nick

Pattern Detection in Systems Simulation: Towards a Model-Checking Framework for Security Analytics Technical Report

HP Laboratories no. HPL-2012-89, 2012.

Abstract | Links | BibTeX | Tags:

Papanikolaou, Nick

Review of Algorithms and Theory of Computation Handbook by Mikhail J. Atallah and Marina Blanton Journal Article

In: ACM SIGACT News, vol. 43, no. 2, pp. 29–32, 2012.

Links | BibTeX | Tags:

Papanikolaou, Nick

Intelligent Information Gathering for Security and Privacy Compliance in Cloud Computing Technical Report

HP Laboratories no. HPL-2012-71, 2012.

BibTeX | Tags:

Papanikolaou, Nikolaos; Pearson, Siani; Mont, Marco Casassa; Brown, Richard; McCorry, Kieran; Sander, Tomas; Rao., Prasad

An online knowledge base store (KB Store) Journal Article

In: Research Disclosure, pp. 114–115, 2012, (ID 574026).

Abstract | BibTeX | Tags:

Papanikolaou, Nick; Pearson, Siani; Mont, Marco Casassa; Ko, Ryan

Automating Compliance for Cloud Computing Services Proceedings Article

In: Proceedings of the 2nd International Conference on Cloud Computing and Services Science (CLOSER 2012), SciTePress, 2012.

Abstract | Links | BibTeX | Tags:

Wainwright, Nick; Papanikolaou, Nick

The FIA Research Roadmap: Priorities for Future Internet Research Book Section

In: Alvarez, F; Cleary, F; Daras, P; Domingue, J; Galis, A; Garcia, A; Gavras, A; Karnourskos, S; Krco, S; Li, M -S; Lotz, V; Müller, H; Salvadori, E; Sassen, A -M; Schaffers, H; Stiller, B; Tselentis, G; Turkama, P; Zahariadis, T (Ed.): Future Internet --- From Technological Promises to Reality, vol. 7281, Springer, 2012.

Abstract | Links | BibTeX | Tags:

Wainwright, Nick; Papanikolaou, Nick

The FIA Research Roadmap: Priorities for Future Internet Research Technical Report

HP Laboratories no. HPL-2012-70, 2012.

Abstract | Links | BibTeX | Tags:

2011

Papanikolaou, Nick; Pearson, Siani; Mont, Marco Casassa

Automated Understanding of Cloud Terms of Service and SLAs Proceedings Article

In: Proceedings of The 22nd Hewlett-Packard Colloquium on Information Security, Royal Holloway, University of London, 2011.

Abstract | Links | BibTeX | Tags:

Papanikolaou, Nick; Pearson, Siani; Mont, Marco Casassa

Automated Understanding of Cloud Terms of Service and SLAs Proceedings Article

In: Proceedings of IEEE CloudCom 2011, Athens, Greece, 2011.

Abstract | Links | BibTeX | Tags:

Wainwright, Nick; Nick,

Trust and Security in the Future Internet: Setting the Context. Towards a vision and analysis of fundamental change areas, challenges and potential solutions as discussed at EFFECTSPLUS Clustering and Roadmapping Events Miscellaneous

2011, (Produced under the auspices of the EC EFFECTSPLUS Research Project.).

Abstract | Links | BibTeX | Tags:

Papanikolaou, Nick

Achieving Compliance Through Natural-Language Analysis of Service Level Agreements for Cloud Services Technical Report

HP Laboratories no. HPL-2011-167, 2011.

Abstract | BibTeX | Tags:

Papanikolaou, Nick; Pearson, Siani; Mont, Marco Casassa

Towards Natural-Language Understanding and Automated Enforcement of Privacy Rules and Regulations in the Cloud: Survey and Bibliography Technical Report

HP Laboratories no. HPL-2011-117, 2011.

Abstract | BibTeX | Tags:

Papanikolaou, Nick; Pearson, Siani; Mont, Marco Casassa

Towards Natural-Language Understanding and Automated Enforcement of Privacy Rules and Regulations in the Cloud: Survey and Bibliography Proceedings Article

In: Proceedings of 1st International Workshop on Security and Trust in Virtualised Environments (STAVE 2011), 2011.

Abstract | Links | BibTeX | Tags:

Papanikolaou, Nick; Pearson, Siani; Mont, Marco Casassa

Towards Natural-Language Understanding and Automated Enforcement of Privacy Rules and Regulations in the Cloud: Survey and Bibliography Book Section

In: Secure and Trust Computing, Data Management and Applications, vol. 187, pp. 166–173, Springer, 2011.

Links | BibTeX | Tags:

Papanikolaou, Nick; Pearson, Siani; Mont, Marco Casassa; Ko, Ryan

Towards Greater Accountability in Cloud Computing through Natural-Language Analysis and Automated Policy Enforcement Technical Report

HP Laboratories no. HPL-2011-118, 2011.

Abstract | Links | BibTeX | Tags:

Wainwright, Nick; Papanikolaou, Nick

Future Internet Assembly Research Roadmap Miscellaneous

2011, (Produced under the auspices of the EC EFFECTSPLUS Research Project.).

Abstract | Links | BibTeX | Tags:

2010

Agrafiotis, Ioannis; Creese, Sadie; Goldsmith, Michael; Papanikolaou, Nick; Mont, Marco Casassa; Pearson, Siani

Defining Consent and Revocation Policies Proceedings Article

In: Pre-Proceedings of PrimeLife/IFIP Summer School 2010: Privacy and Identity Management for Life, Helsingborg, Sweden, 2010.

Abstract | Links | BibTeX | Tags:

Papanikolaou, Nick; Creese, Sadie; Goldsmith, Michael; Mont, Casassa; Pearson, Siani

EnCoRe: Towards a Holistic Approach to Privacy Proceedings Article

In: Proceedings of International Conference on Security and Cryptography (SECRYPT 2010), Athens, Greece, 2010.

Abstract | Links | BibTeX | Tags:

Adetoye, Adedayo O; Papanikolaou, Nikolaos

Static Analysis of Information Release in Interactive Programs Journal Article

In: Electronic Communications of the EASST, vol. 35, 2010.

Abstract | Links | BibTeX | Tags:

Agrafiotis, Ioannis; Creese, Sadie; Goldsmith, Michael; Papanikolaou, Nick

Applying Formal Methods to Describe Privacy Control Requirements in a Real Scenario: Emerging Ambiguities and Proposed Solutions Proceedings Article

In: Proceedings of PrimeLife/IFIP Summer School 2010: Privacy and Identity Management for Life, Helsingborg, Sweden, 2010.

Abstract | Links | BibTeX | Tags:

Agrafiotis, Ioannis; Creese, Sadie; Goldsmith, Michael; Papanikolaou, Nick

Towards a Logic of Consent and Revocation Miscellaneous

2010, (Internal Report, EnCoRe Research Project.).

Abstract | Links | BibTeX | Tags:

Agrafiotis, Ioannis; Creese, Sadie; Goldsmith, Michael; Papanikolaou, Nick

Taxonomy of Consent and Revocation Technical Report

2010.

Abstract | BibTeX | Tags:

Adetoye, Adedayo O; Papanikolaou, Nikolaos

Static Analysis of Information Release in Interactive Programs Journal Article

In: Electronic Communications of the EASST, vol. 35, 2010.

Abstract | Links | BibTeX | Tags:

Agrafiotis, Ioannis; Creese, Sadie; Goldsmith, Michael; Papanikolaou, Nick

Applying Formal Methods to Describe Privacy Control Requirements in a Real Scenario: Emerging Ambiguities and Proposed Solutions Proceedings Article

In: Proceedings of PrimeLife/IFIP Summer School 2010: Privacy and Identity Management for Life, Helsingborg, Sweden, 2010.

Abstract | Links | BibTeX | Tags:

Agrafiotis, Ioannis; Creese, Sadie; Goldsmith, Michael; Papanikolaou, Nick

Towards a Logic of Consent and Revocation Miscellaneous

2010, (Internal Report, EnCoRe Research Project.).

Abstract | Links | BibTeX | Tags:

Agrafiotis, Ioannis; Creese, Sadie; Goldsmith, Michael; Papanikolaou, Nick

Taxonomy of Consent and Revocation Technical Report

2010.

Abstract | BibTeX | Tags:

Mont, Marco Casassa; Pearson, Siani; Creese, Sadie; Goldsmith, Michael; Papanikolaou, Nick

A Conceptual Model for Privacy Policies with Consent and Revocation Requirements Proceedings Article

In: Proceedings of PrimeLife/IFIP Summer School 2010: Privacy and Identity Management for Life, Springer-Verlag, 2010.

Abstract | Links | BibTeX | Tags:

Mont, Marco Casassa; Pearson, Siani; Goldsmith, Michael; Papanikolaou, Nick

Towards A Conceptual Model For Privacy Policies Technical Report

HP Laboratories no. HPL-2010-82, 2010.

Abstract | BibTeX | Tags:

Gay, Simon J; Nagarajan, Rajagopal; Papanikolaou, Nikolaos

Specification and Verification of Quantum Protocols Book Section

In: Gay, S J; Mackie, I (Ed.): Semantic Techniques in Quantum Computation, Cambridge University Press, 2010.

Abstract | Links | BibTeX | Tags:

Papanikolaou, Nick

Review of The Space and Motion of Communicating Agents by Robin Milner, Cambridge University Press, 2009 (ISBN: 978-0-521-73833-0) Journal Article

In: ACM SIGACT News, vol. 41, no. 3, pp. 51–-55, 2010.

Links | BibTeX | Tags:

Papanikolaou, Nick; Creese, Sadie; Goldsmith, Michael; Mont, Casassa; Pearson, Siani

EnCoRe: Towards a holistic approach to privacy Technical Report

HP Laboratories no. HPL-2010-83, 2010.

Abstract | BibTeX | Tags:

2009

Agrafiotis, Ioannis; Creese, Sadie; Goldsmith, Michael; Papanikolaou, Nikolaos

Reaching for Informed Revocation: Shutting Off the Tap on Personal Data Proceedings Article

In: Proceedings of Fifth International Summer School on Privacy and Identity Management for Life, Nice, France, 2009.

Abstract | Links | BibTeX | Tags:

Agrafiotis, Ioannis; Creese, Sadie; Goldsmith, Michael; Papanikolaou, Nikolaos

Reaching for Informed Revocation: Shutting Off the Tap on Personal Data Proceedings Article

In: Proceedings of Fifth International Summer School on Privacy and Identity Management for Life, Nice, France, 2009.

Abstract | Links | BibTeX | Tags:

Papanikolaou, Nikolaos; Creese, Sadie; Goldsmith, Michael

Policy Refinement Checking Proceedings Article

In: Proceedings of Ninth International Workshop on Automated Verification of Critical Systems (AVoCS 09), Swansea University, 2009.

Abstract | Links | BibTeX | Tags:

67 entries « 1 of 2 »