Sciweavers

14850 search results - page 5 / 2970

» The Security of

128

IEEEARES
2008
IEEE

87views Security Privacy» more IEEEARES 2008»

Identifying Security Aspects in Early Development Stages

16 years 14 days ago

Identifying Security Aspects in Early Development Stages

Download www.sintef.no

Takao Okubo, Hidehiko Tanaka

claim paper

Read More »

142

IEEEARES
2008
IEEE

130views Security Privacy» more IEEEARES 2008»

Secure Software Design in Practice

16 years 14 days ago

Secure Software Design in Practice

Download www.shields-project.eu

Per Håkon Meland, Jostein Jensen

claim paper

Read More »

134

IEEEARES
2008
IEEE

119views Security Privacy» more IEEEARES 2008»

Soundness Conditions for Message Encoding Abstractions in Formal Security Protocol Models

16 years 14 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 »

120

CSFW
2007
IEEE

64views Security Privacy» more CSFW 2007»

Causality-based Abstraction of Multiplicity in Security Protocols

16 years 12 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 »

108

CCS
2007
ACM

82views Security Privacy» more CCS 2007»

Secure two-party k-means clustering

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