Search Sciweavers | Sciweavers

3504 search results - page 58 / 701

» Secure protocol composition

134

click to vote

FM
2009
Springer

104views Formal Methods» more FM 2009»

Sums and Lovers: Case Studies in Security, Compositionality and Refinement

16 years 1 months ago

Download www.cse.unsw.edu.au

Annabelle McIver, Carroll C. Morgan

claim paper

Read More »

155

click to vote

ICTCS
2003
Springer

71views Theoretical Computer Science» more ICTCS 2003»

Compositional Verification of Secure Streamed Data: A Case Study with EMSS

16 years 8 days ago

Download wwwold.iit.cnr.it

Fabio Martinelli, Marinella Petrocchi, Anna Vaccar...

claim paper

Read More »

132

click to vote

HICSS
1998
IEEE

97views Biometrics» more HICSS 1998»

Applying the Composition Principle to Verify a Hierarchy of Security Servers

15 years 11 months ago

Download seclab.cs.ucdavis.edu

Mark Heckman, Karl N. Levitt

claim paper

Read More »

160

click to vote

MPC
2010
Springer

156views Mathematics» more MPC 2010»

Compositionality of Secure Information Flow

15 years 11 months ago

Download mpc-amast2010.fsg.ulaval.ca

Catuscia Palamidessi

claim paper

Read More »

161

click to vote

COMPSAC
2001
IEEE

113views Software Engineering» more COMPSAC 2001»

A Runtime Composite Service Creation and Deployment Infrastructure and its Applications in Internet Security, E-Commerce, and So

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers