| DC Field | Value | Language |
|---|---|---|
| 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 | - |
| Appears in Collections: | Publications without full text | |
Add Files to Item
Note about this record
Export
Items in REPOSIT are protected by copyright, with all rights reserved, unless otherwise indicated.