Search Sciweavers | Sciweavers

5475 search results - page 24 / 1095

» Model Driven Security

134

click to vote

ACISP
2008
Springer

96views Security Privacy» more ACISP 2008»

Distributed Verification of Mixing - Local Forking Proofs Model

16 years 1 months ago

Download kutylowski.im.pwr.wroc.pl

Jacek Cichon, Marek Klonowski, Miroslaw Kutylowski

claim paper

Read More »

141

click to vote

IWSEC
2007
Springer

132views Security Privacy» more IWSEC 2007»

Generic Certificateless Encryption in the Standard Model

16 years 1 months ago

Download www.cs.cityu.edu.hk

Qiong Huang, Duncan S. Wong

claim paper

Read More »

117

Voted

CCS
2005
ACM

72views Security Privacy» more CCS 2005»

Understanding and developing role-based administrative models

16 years 22 days ago

Download www.isg.rhul.ac.uk

Jason Crampton

claim paper

Read More »

156

click to vote

EUROPKI
2005
Springer

100views Security Privacy» more EUROPKI 2005»

Modeling Public Key Infrastructures in the Real World

16 years 22 days ago

Download sec.cs.kent.ac.uk

John Marchesini, Sean W. Smith

claim paper

Read More »

188

click to vote

AGENTS
2001
Springer

209views Security Privacy» more AGENTS 2001»

HPTS: a behaviour modelling language for autonomous agents

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers