Search Sciweavers | Sciweavers

5475 search results - page 24 / 1095

» Model Driven Security

click to vote

ACISP
2008
Springer

96views Security Privacy» more ACISP 2008»

Distributed Verification of Mixing - Local Forking Proofs Model

15 years 8 months ago

Download kutylowski.im.pwr.wroc.pl

Jacek Cichon, Marek Klonowski, Miroslaw Kutylowski

claim paper

Read More »

click to vote

IWSEC
2007
Springer

132views Security Privacy» more IWSEC 2007»

Generic Certificateless Encryption in the Standard Model

15 years 8 months ago

Download www.cs.cityu.edu.hk

Qiong Huang, Duncan S. Wong

claim paper

Read More »

click to vote

CCS
2005
ACM

72views Security Privacy» more CCS 2005»

Understanding and developing role-based administrative models

15 years 8 months ago

Download www.isg.rhul.ac.uk

Jason Crampton

claim paper

Read More »

click to vote

EUROPKI
2005
Springer

100views Security Privacy» more EUROPKI 2005»

Modeling Public Key Infrastructures in the Real World

15 years 8 months ago

Download sec.cs.kent.ac.uk

John Marchesini, Sean W. Smith

claim paper

Read More »

126

click to vote

AGENTS
2001
Springer

209views Security Privacy» more AGENTS 2001»

HPTS: a behaviour modelling language for autonomous agents

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers