Sciweavers

14850 search results - page 5 / 2970

» The Security of

27

IEEEARES
2008
IEEE

87views Security Privacy» more IEEEARES 2008»

Identifying Security Aspects in Early Development Stages

14 years 3 months ago

Identifying Security Aspects in Early Development Stages

Download www.sintef.no

Takao Okubo, Hidehiko Tanaka

claim paper

Read More »

25

IEEEARES
2008
IEEE

130views Security Privacy» more IEEEARES 2008»

Secure Software Design in Practice

14 years 3 months ago

Secure Software Design in Practice

Download www.shields-project.eu

Per Håkon Meland, Jostein Jensen

claim paper

Read More »

27

IEEEARES
2008
IEEE

119views Security Privacy» more IEEEARES 2008»

Soundness Conditions for Message Encoding Abstractions in Formal Security Protocol Models

14 years 3 months ago

Soundness Conditions for Message Encoding Abstractions in Formal Security Protocol Models

Download staff.polito.it

Alfredo Pironti, Riccardo Sisto

claim paper

Read More »

17

CSFW
2007
IEEE

64views Security Privacy» more CSFW 2007»

Causality-based Abstraction of Multiplicity in Security Protocols

14 years 2 months ago

Causality-based Abstraction of Multiplicity in Security Protocols

Download www.infsec.cs.uni-saarland.de

Michael Backes, Agostino Cortesi, Matteo Maffei

claim paper

Read More »

20

CCS
2007
ACM

82views Security Privacy» more CCS 2007»

Secure two-party k-means clustering

14 years 2 months ago

Secure two-party k-means clustering

Download www.math.ucla.edu

Paul Bunn, Rafail Ostrovsky

claim paper

Read More »

« Prev « First page 5 / 2970 Last » Next »