Sciweavers

3821 search results - page 117 / 765

» A Security Model for Aglets

16

CAV
2009
Springer

106views Hardware» more CAV 2009»

Models and Proofs of Protocol Security: A Progress Report

14 years 8 months ago

Models and Proofs of Protocol Security: A Progress Report

Download www.di.ens.fr

Bruno Blanchet, Hubert Comon-Lundh, Martín ...

claim paper

Read More »

21

ESSOS
2010
Springer

160views Software Engineering» more ESSOS 2010»

Model-Driven Security Policy Deployment: Property Oriented Approach

14 years 4 months ago

Model-Driven Security Policy Deployment: Property Oriented Approach

Download deic.uab.es

Stere Preda, Nora Cuppens-Boulahia, Fréd&ea...

claim paper

Read More »

22

EDBTW
2010
Springer

187views Software Engineering» more EDBTW 2010»

Model driven development of secure XML data warehouses: a case study

14 years 2 months ago

Model driven development of secure XML data warehouses: a case study

Download gplsi.dlsi.ua.es

Belén Vela, Carlos Blanco, Eduardo Fern&aac...

claim paper

Read More »

23

DEPCOS
2008
IEEE

112views Hardware» more DEPCOS 2008»

Soundness Conditions for Cryptographic Algorithms and Parameters Abstractions in Formal Security Protocol Models

14 years 2 months ago

Soundness Conditions for Cryptographic Algorithms and Parameters Abstractions in Formal Security Protocol Models

Download alfredo.pironti.eu

Alfredo Pironti, Riccardo Sisto

claim paper

Read More »

25

SYNASC
2008
IEEE

238views Algorithms» more SYNASC 2008»

A Modeling Framework for Generating Security Protocol Specifications

14 years 2 months ago

A Modeling Framework for Generating Security Protocol Specifications

Download www.ibs.ro

Béla Genge, Piroska Haller

claim paper

Read More »

« Prev « First page 117 / 765 Last » Next »