| DC Element | Wert | Sprache |
|---|---|---|
| dc.contributor.author | Köhler, Michael | - |
| dc.contributor.author | Rölke, Heiko | - |
| dc.date.accessioned | 2022-10-11T09:27:23Z | - |
| dc.date.available | 2022-10-11T09:27:23Z | - |
| dc.date.issued | 2003 | - |
| dc.identifier.uri | http://hdl.handle.net/20.500.12738/13349 | - |
| dc.description.abstract | Mobility creates new challenges for dynamic systems, which need a new conceptional treatment: systems, that deal for example with mobile agents, need extended security concepts to handle the risks, induced by foreign, untrusted agents. In this work we present the paradigm of nets within nets, which is well suited to express the dynamics of open, mobile systems. It is furthermore capable of formalising security aspects and analysing the correctness of a given system in terms of the security specification. This approach is attractive since it combines a modelling-oriented view with an exact formalism. | en |
| dc.language.iso | en | en_US |
| dc.publisher | University of Eindhoven | en_US |
| dc.subject.ddc | 004: Informatik | en_US |
| dc.title | Modelling sandboxes for mobile agents using nets within nets | en |
| dc.type | inProceedings | en_US |
| dc.relation.conference | International Conference on Application and Theory of Petri Nets 2003 | en_US |
| dc.description.version | Unknown | en_US |
| local.contributorPerson.editor | Busi, N. | - |
| local.contributorPerson.editor | Martinelli, F. | - |
| tuhh.oai.show | true | en_US |
| tuhh.publication.institute | Universität Hamburg | en_US |
| tuhh.relation.ispartofseries | Workshop on Issues in Security and Petri Nets (WISP'03) | en_US |
| tuhh.type.opus | InProceedings (Aufsatz / Paper einer Konferenz etc.) | - |
| dc.type.casrai | Conference Paper | - |
| dc.type.dini | contributionToPeriodical | - |
| dc.type.driver | contributionToPeriodical | - |
| dc.type.status | info:eu-repo/semantics/publishedVersion | en_US |
| dcterms.DCMIType | Text | - |
| item.seriesref | Workshop on Issues in Security and Petri Nets (WISP'03) | - |
| item.tuhhseriesid | Workshop on Issues in Security and Petri Nets (WISP'03) | - |
| item.creatorGND | Köhler, Michael | - |
| item.creatorGND | Rölke, Heiko | - |
| item.languageiso639-1 | en | - |
| item.cerifentitytype | Publications | - |
| item.openairecristype | http://purl.org/coar/resource_type/c_5794 | - |
| item.creatorOrcid | Köhler, Michael | - |
| item.creatorOrcid | Rölke, Heiko | - |
| item.fulltext | No Fulltext | - |
| item.grantfulltext | none | - |
| item.openairetype | inProceedings | - |
| crisitem.author.dept | Department Informatik | - |
| crisitem.author.orcid | 0000-0002-3074-4145 | - |
| crisitem.author.parentorg | Fakultät Technik und Informatik | - |
| Enthalten in den Sammlungen: | Publications without full text | |
Volltext ergänzen
Feedback zu diesem Datensatz
Export
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.