Sciweavers

14850 search results - page 203 / 2970
» The Security of
Sort
View
ASE
2007
121views more  ASE 2007»
15 years 7 months ago
Computer-aided Support for Secure Tropos
In earlier work, we have introduced Secure Tropos, a requirements engineering methodology that extends the Tropos methodology and is intended for the design and analysis of securit...
Fabio Massacci, John Mylopoulos, Nicola Zannone
ISI
2006
Springer
15 years 7 months ago
A Home Firewall Solution for Securing Smart Spaces
Pho Duc Giang, Hung Le Xuan, Yonil Zhung, Sungyoun...
ISI
2006
Springer
15 years 7 months ago
A Trust-Based Security Architecture for Ubiquitous Computing Systems
Hung Le Xuan, Pho Duc Giang, Yonil Zhung, Tran Van...
SCN
2008
Springer
142views Communications» more  SCN 2008»
15 years 7 months ago
Implementing Two-Party Computation Efficiently with Security Against Malicious Adversaries
We present an implementation of the protocol of Lindell and Pinkas for secure two-party computation which is secure against malicious adversaries [13]. This is the first running sy...
Yehuda Lindell, Benny Pinkas, Nigel P. Smart