Sciweavers

5119 search results - page 5 / 1024

» Security Privacy

17

IEEEARES
2008
IEEE

87views Security Privacy» more IEEEARES 2008»

Identifying Security Aspects in Early Development Stages

13 years 11 months ago

Identifying Security Aspects in Early Development Stages

Download www.sintef.no

Takao Okubo, Hidehiko Tanaka

claim paper

Read More »

15

IEEEARES
2008
IEEE

130views Security Privacy» more IEEEARES 2008»

Secure Software Design in Practice

13 years 11 months ago

Secure Software Design in Practice

Download www.shields-project.eu

Per Håkon Meland, Jostein Jensen

claim paper

Read More »

16

IEEEARES
2008
IEEE

119views Security Privacy» more IEEEARES 2008»

Soundness Conditions for Message Encoding Abstractions in Formal Security Protocol Models

13 years 11 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 »

8

CSFW
2007
IEEE

64views Security Privacy» more CSFW 2007»

Causality-based Abstraction of Multiplicity in Security Protocols

13 years 11 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 »

10

CCS
2007
ACM

82views Security Privacy» more CCS 2007»

Secure two-party k-means clustering

13 years 11 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 / 1024 Last » Next »