Search Sciweavers | Sciweavers

5475 search results - page 24 / 1095

» Model Driven Security

118

click to vote

ACISP
2008
Springer

96views Security Privacy» more ACISP 2008»

Distributed Verification of Mixing - Local Forking Proofs Model

16 years 24 days ago

Download kutylowski.im.pwr.wroc.pl

Jacek Cichon, Marek Klonowski, Miroslaw Kutylowski

claim paper

Read More »

125

click to vote

IWSEC
2007
Springer

132views Security Privacy» more IWSEC 2007»

Generic Certificateless Encryption in the Standard Model

16 years 18 days ago

Download www.cs.cityu.edu.hk

Qiong Huang, Duncan S. Wong

claim paper

Read More »

100

click to vote

CCS
2005
ACM

72views Security Privacy» more CCS 2005»

Understanding and developing role-based administrative models

16 years 17 min ago

Download www.isg.rhul.ac.uk

Jason Crampton

claim paper

Read More »

141

click to vote

EUROPKI
2005
Springer

100views Security Privacy» more EUROPKI 2005»

Modeling Public Key Infrastructures in the Real World

15 years 12 months ago

Download sec.cs.kent.ac.uk

John Marchesini, Sean W. Smith

claim paper

Read More »

173

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