Sciweavers

14824 search results - page 5 / 2965

» Security - Introduction

125

IEEEARES
2008
IEEE

87views Security Privacy» more IEEEARES 2008»

Identifying Security Aspects in Early Development Stages

16 years 4 days ago

Identifying Security Aspects in Early Development Stages

Download www.sintef.no

Takao Okubo, Hidehiko Tanaka

claim paper

Read More »

140

IEEEARES
2008
IEEE

130views Security Privacy» more IEEEARES 2008»

Secure Software Design in Practice

16 years 4 days ago

Secure Software Design in Practice

Download www.shields-project.eu

Per Håkon Meland, Jostein Jensen

claim paper

Read More »

131

IEEEARES
2008
IEEE

119views Security Privacy» more IEEEARES 2008»

Soundness Conditions for Message Encoding Abstractions in Formal Security Protocol Models

16 years 4 days ago

Soundness Conditions for Message Encoding Abstractions in Formal Security Protocol Models

Download staff.polito.it

Alfredo Pironti, Riccardo Sisto

claim paper

Read More »

117

CSFW
2007
IEEE

64views Security Privacy» more CSFW 2007»

Causality-based Abstraction of Multiplicity in Security Protocols

16 years 2 days 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 »

104

CCS
2007
ACM

82views Security Privacy» more CCS 2007»

Secure two-party k-means clustering

15 years 12 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 / 2965 Last » Next »