1795 search results - page 165 / 359 » Security Models and Information Flow |
149
Voted
EUROCRYPT
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Secure computation consists of protocols for secure arithmetic: secret values are added and multiplied securely by networked processors. The striking feature of secure co...
156
click to vote
ITRUST
2005
Springer
15 years 9 months ago
2005
Springer
The paper makes two main contributions: (1) It presents experiences from using the CORAS language for security threat modelling to specify legal risk scenarios. These experiences a...
128
click to vote
HICSS
2008
IEEE
15 years 10 months ago
2008
IEEE
: This study proposes a new operational framework for Service Oriented Architecture (SOA) network security. It seeks to characterize the current state of practices in SOA network s...
228
click to vote
SPEECH
2011
14 years 11 months ago
2011
We describe a system for separating multiple sources from a two-channel recording based on interaural cues and prior knowledge of the statistics of the underlying source signals. ...
135
click to vote
AAI
2004
15 years 4 months ago
2004
We are interested in applying model checking techniques to the verification of communication protocols which require safe communication. Typically, in such scenarios, one desires ...