Controlling Security Policies in a Distributed Environment

Detalhes bibliográficos
Autor(a) principal: Martins, Francisco
Data de Publicação: 2004
Outros Autores: Vasconcelos, Vasco T.
Tipo de documento: Relatório
Idioma: por
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/10451/14269
Resumo: This paper presents a type system to control the migration of code between nodes in a concurrent distributed framework, using Dpi. We express resource policies with types and enforce them via a type system. Sites are organised hierarchically in subnetworks that share the same security policies, statically specified by a network administrator. The type system guarantees that, at runtime, there are no security policies violations
id RCAP_59c46127e1d441b99203bca6c7c1ea8f
oai_identifier_str oai:repositorio.ul.pt:10451/14269
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Controlling Security Policies in a Distributed EnvironmentSecurityMobilityConcurrencyDistributionProcess calculusThis paper presents a type system to control the migration of code between nodes in a concurrent distributed framework, using Dpi. We express resource policies with types and enforce them via a type system. Sites are organised hierarchically in subnetworks that share the same security policies, statically specified by a network administrator. The type system guarantees that, at runtime, there are no security policies violationsDepartment of Informatics, University of LisbonRepositório da Universidade de LisboaMartins, FranciscoVasconcelos, Vasco T.2009-02-10T13:11:49Z2004-042004-04-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/reportapplication/pdfhttp://hdl.handle.net/10451/14269porinfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-11-08T15:59:58Zoai:repositorio.ul.pt:10451/14269Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T21:36:05.050168Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Controlling Security Policies in a Distributed Environment
title Controlling Security Policies in a Distributed Environment
spellingShingle Controlling Security Policies in a Distributed Environment
Martins, Francisco
Security
Mobility
Concurrency
Distribution
Process calculus
title_short Controlling Security Policies in a Distributed Environment
title_full Controlling Security Policies in a Distributed Environment
title_fullStr Controlling Security Policies in a Distributed Environment
title_full_unstemmed Controlling Security Policies in a Distributed Environment
title_sort Controlling Security Policies in a Distributed Environment
author Martins, Francisco
author_facet Martins, Francisco
Vasconcelos, Vasco T.
author_role author
author2 Vasconcelos, Vasco T.
author2_role author
dc.contributor.none.fl_str_mv Repositório da Universidade de Lisboa
dc.contributor.author.fl_str_mv Martins, Francisco
Vasconcelos, Vasco T.
dc.subject.por.fl_str_mv Security
Mobility
Concurrency
Distribution
Process calculus
topic Security
Mobility
Concurrency
Distribution
Process calculus
description This paper presents a type system to control the migration of code between nodes in a concurrent distributed framework, using Dpi. We express resource policies with types and enforce them via a type system. Sites are organised hierarchically in subnetworks that share the same security policies, statically specified by a network administrator. The type system guarantees that, at runtime, there are no security policies violations
publishDate 2004
dc.date.none.fl_str_mv 2004-04
2004-04-01T00:00:00Z
2009-02-10T13:11:49Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/report
format report
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10451/14269
url http://hdl.handle.net/10451/14269
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Department of Informatics, University of Lisbon
publisher.none.fl_str_mv Department of Informatics, University of Lisbon
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799134259401719808

Registros relacionados