Search Sciweavers | Sciweavers

5475 search results - page 24 / 1095

» Model Driven Security

109

Voted

ACISP
2008
Springer

96views Security Privacy» more ACISP 2008»

Distributed Verification of Mixing - Local Forking Proofs Model

16 years 8 days ago

Download kutylowski.im.pwr.wroc.pl

Jacek Cichon, Marek Klonowski, Miroslaw Kutylowski

claim paper

Read More »

118

click to vote

IWSEC
2007
Springer

132views Security Privacy» more IWSEC 2007»

Generic Certificateless Encryption in the Standard Model

16 years 2 days ago

Download www.cs.cityu.edu.hk

Qiong Huang, Duncan S. Wong

claim paper

Read More »

Voted

CCS
2005
ACM

72views Security Privacy» more CCS 2005»

Understanding and developing role-based administrative models

15 years 11 months ago

Download www.isg.rhul.ac.uk

Jason Crampton

claim paper

Read More »

134

click to vote

EUROPKI
2005
Springer

100views Security Privacy» more EUROPKI 2005»

Modeling Public Key Infrastructures in the Real World

15 years 11 months ago

Download sec.cs.kent.ac.uk

John Marchesini, Sean W. Smith

claim paper

Read More »

169

click to vote

AGENTS
2001
Springer

209views Security Privacy» more AGENTS 2001»

HPTS: a behaviour modelling language for autonomous agents

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers