Login / Signup
Analysis of Object-Specific Authorization Protocol (OSAP) using Coloured Petri Nets.
Younes Seifi
Suriadi Suriadi
Ernest Foo
Colin Boyd
Published in:
AISC (2012)
Keyphrases
</>
coloured petri nets
information systems
data analysis
image analysis
databases
neural network
lightweight
quantitative analysis
formal analysis
multi agent systems
digital libraries
statistical analysis
privacy preserving