Dynamic policy discovery with remote attestation

Corin Pitcher; James Riely

doi:10.1007/11690634_8

Dynamic policy discovery with remote attestation

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Foundations of Software Science and Computation Structures - 9th International Conf., FOSSACS 2006. Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2006, Proc.
Pages	111-125
Number of pages	15
DOIs	https://doi.org/10.1007/11690634_8
State	Published - 2006
Event	9th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2006. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006 - Vienna, Austria Duration: Mar 25 2006 → Mar 31 2006

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	3921 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	9th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2006. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006
Country/Territory	Austria
City	Vienna
Period	3/25/06 → 3/31/06

ASJC Scopus Subject Areas

Theoretical Computer Science
General Computer Science

Keywords

π-calculus
Code-identity based access control
Key establishment
Next Generation Secure Computing Base
Policy establishment
Remote attestation

Access to Document

10.1007/11690634_8

Cite this

Pitcher, C., & Riely, J. (2006). Dynamic policy discovery with remote attestation. In Foundations of Software Science and Computation Structures - 9th International Conf., FOSSACS 2006. Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2006, Proc. (pp. 111-125). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3921 LNCS). https://doi.org/10.1007/11690634_8

Dynamic policy discovery with remote attestation. / Pitcher, Corin ; Riely, James.
Foundations of Software Science and Computation Structures - 9th International Conf., FOSSACS 2006. Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2006, Proc.. 2006. p. 111-125 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3921 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Pitcher, C & Riely, J 2006, Dynamic policy discovery with remote attestation. in Foundations of Software Science and Computation Structures - 9th International Conf., FOSSACS 2006. Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2006, Proc.. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 3921 LNCS, pp. 111-125, 9th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2006. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, 3/25/06. https://doi.org/10.1007/11690634_8

Pitcher C , Riely J. Dynamic policy discovery with remote attestation. In Foundations of Software Science and Computation Structures - 9th International Conf., FOSSACS 2006. Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2006, Proc.. 2006. p. 111-125. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/11690634_8

Pitcher, Corin ; Riely, James. / Dynamic policy discovery with remote attestation. Foundations of Software Science and Computation Structures - 9th International Conf., FOSSACS 2006. Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2006, Proc.. 2006. pp. 111-125 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{8e6b21c8a9a54b3a93d52ad9ee4fc005,

title = "Dynamic policy discovery with remote attestation",

keywords = "π-calculus, Code-identity based access control, Key establishment, Next Generation Secure Computing Base, Policy establishment, Remote attestation",

author = "Corin Pitcher and James Riely",

year = "2006",

doi = "10.1007/11690634\_8",

language = "English",

isbn = "3540330453",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "111--125",

booktitle = "Foundations of Software Science and Computation Structures - 9th International Conf., FOSSACS 2006. Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2006, Proc.",

note = "9th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2006. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006 ; Conference date: 25-03-2006 Through 31-03-2006",

}

TY - GEN

T1 - Dynamic policy discovery with remote attestation

AU - Pitcher, Corin

AU - Riely, James

PY - 2006

Y1 - 2006

KW - π-calculus

KW - Code-identity based access control

KW - Key establishment

KW - Next Generation Secure Computing Base

KW - Policy establishment

KW - Remote attestation

UR - https://www.scopus.com/pages/publications/33745788969

UR - https://www.scopus.com/pages/publications/33745788969#tab=citedBy

U2 - 10.1007/11690634_8

DO - 10.1007/11690634_8

M3 - Conference contribution

AN - SCOPUS:33745788969

SN - 3540330453

SN - 9783540330455

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 111

EP - 125

BT - Foundations of Software Science and Computation Structures - 9th International Conf., FOSSACS 2006. Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2006, Proc.

T2 - 9th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2006. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006

Y2 - 25 March 2006 through 31 March 2006

ER -

Dynamic policy discovery with remote attestation

Publication series

Conference

ASJC Scopus Subject Areas

Keywords

Access to Document

Other files and links

Cite this