11 search results - page 1 / 3 » A Process-Oriented Model for Authentication on the Basis of ... |
BPM
2003
Springer
13 years 9 months ago
2003
Springer
Abstract. Public-key cryptography is a prerequisite for security in distributed systems and for reliable electronic commerce. The protection of public keys against attacks is the A...
DEXAW
2003
IEEE
13 years 9 months ago
2003
IEEE
Public-key infrastructures are a prerequisite for security in distributed systems and for reliable electronic commerce. It is their goal to provide the authenticity of public keys...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. This paper deals with the parallel raytracing part of virtualreality system PROLAND, developed at the home institution of authors. It describes an actual implementation o...
ENTCS
2007
13 years 4 months ago
2007
In recent papers we have introduced Mobile Synchronizing Petri Nets, a new model for mobility based on coloured Petri Nets. It allows the description of systems composed of a coll...
APSEC
2007
IEEE
13 years 11 months ago
2007
IEEE
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...