A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Filters
Analysis of two authorization protocols using Colored Petri Nets
2014
International Journal of Information Security
This research uses Coloured Petri Nets (CPN) to analyze OSAP trusted computing protocol. The OSAP protocol is modeled in different levels and it is analyzed using state space method. ...
Coloured Petri Nets is a graphical language used for design, specification and simulation of variety of systems. ...
Previous works Coloured Petri Nets have been used by [12] for analyzing cryptographic protocols. They have modeled each legitimate protocol entity and intruder using Petri Net Objects(PNO). ...
doi:10.1007/s10207-014-0243-z
fatcat:hmygif57jncetcgv2wclabsscy
Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, October 22-24, 2007
2007
DAIMI Report Series
This booklet contains the proceedings of the Eighth Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, October 22-24, 2007. ...
The workshop is organised by the CPN group at the Department of Computer Science, University of Aarhus, Denmark. ...
The authors wish to thank the anonymous reviewers for their constructive comments and suggestions that have helped us to improve the CPN model and paper. ...
doi:10.7146/dpb.v36i584.7197
fatcat:fmzu5qetpnd6dpflqsuggbt7mm
Tenth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools Aarhus, Denmark, October 19-21, 2009
2009
DAIMI Report Series
This booklet contains the proceedings of the Tenth Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, October 19-21, 2009. ...
The workshop is organised by the CPN group at the Department of Computer Science, University of Aarhus, Denmark. ...
Christopher Moon, for his involvement in the early development of this model, and Dr. ...
doi:10.7146/dpb.v38i590.7187
fatcat:t5yh5d4v7jbjjj7wghs2ba6ida
Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools Aarhus, Denmark, October 24-26, 2005
2005
DAIMI Report Series
This booklet contains the proceedings of the Sixth Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, October 24-26, 2005. ...
The workshop is organised by the CPN group at the Department of Computer Science, University of Aarhus, Denmark. ...
His experience in modeling using Colored Petri Nets has been vital for collecting and describing the patterns presented. ...
doi:10.7146/dpb.v34i576.7198
fatcat:h6crytun4jh3fbj24stfbsvx2m
A coloured Petri net trust model
14th International Workshop on Database and Expert Systems Applications, 2003. Proceedings.
The trust model of the present paper is based on the modelling technique of coloured Petri nets. ...
These are a special class of high-level Petri nets with an intuitively appealing graphical representation and a few, but powerful primitives. Elaborate and well tested software is available. ...
Figure 4 has been drawn by the Design/CPN-software. This is a graphic computer tool which supports the practical use of coloured Petri nets. ...
doi:10.1109/dexa.2003.1232057
dblp:conf/dexaw/Lory03
fatcat:4px6m3coszgdncmsgynhuaa7o4
Toward Non-parallelizable Client Puzzles
[chapter]
Cryptology and Network Security
To examine such protocols, we develop a formal framework based on Timed Coloured Petri Nets (Timed CPNs) and use a simulation approach provided in CPN Tools to achieve a formal analysis. ...
We construct two models; one is the well-known Internet protocol named Secure Socket Layer (SSL) protocol, and the other one is the Host Identity Protocol (HIP) which has built-in DoS-resistant mechanisms ...
protocols using Coloured Petri Nets. ...
doi:10.1007/978-3-540-76969-9_16
dblp:conf/cans/TritilanuntBFN07
fatcat:w26f4ocljrborj2jxkvwroaeby
Feature Interaction in Composed Systems
[chapter]
2002
Lecture Notes in Computer Science
It proposes a classification to compare different types of feature interaction. A list of examples give an impression about the nature and the importance of feature interaction. ...
Feature interaction is nothing new and not limited to computer science. ...
In particular, we would like to thank Adrian Friday and Keith Cheverst for their insights into mobile computing, the various members of the Open ORB project for discussions on component-based and reflective ...
doi:10.1007/3-540-47853-1_7
fatcat:zx3cavkfcbbj3j4fhdnn4itd3m
An Architectural Style to Integrate Components and Aspects
2001
European Conference on Object-Oriented Programming
It proposes a classification to compare different types of feature interaction. A list of examples give an impression about the nature and the importance of feature interaction. ...
Feature interaction is nothing new and not limited to computer science. ...
In particular, we would like to thank Adrian Friday and Keith Cheverst for their insights into mobile computing, the various members of the Open ORB project for discussions on component-based and reflective ...
dblp:conf/ecoop/PerezMM01
fatcat:nsdckjidzfhbbp3kbj5ody3pfi
Simulation and Performance Analysis of Distributed Internet Systems Using TCPNs
2009
Proceedings of the International Multiconference on Computer Science and Information Technology
unpublished
This paper presents a Timed Coloured Petri Nets based programming tool that supports modeling and performance analysis of distributed World Wide Web environments. ...
A distributed Internet system model, initially described in compliance with Queueing Theory (QT) rules, is mapped onto the Timed Coloured Petri Net (TCPN) structure by means of queueing system templates ...
Acknowledgement The authors would like to thank Kamil Raś for his help in preparing UML models.
Systematic Construction of Software Architecture Supported by Enhanced First-Class Connectors ...
fatcat:qhwqrldwpzgolinudqilgnticy