1875 search results - page 30 / 375 » Modeling the Security of Steganographic Systems |
90
Voted
COMPSAC
2010
IEEE
14 years 10 months ago
2010
IEEE
Developing large scale software systems has major security challenges. This paper describes the issues involved and then addresses two topics: formal methods for emerging secure sy...
116
click to vote
SCN
2008
Springer
15 years 17 days ago
2008
Springer
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...
87
Voted
SEC
2001
15 years 2 months ago
2001
There is a strong demand for techniques to aid development and modelling of security critical systems. Based on general security evaluation criteria, we show how to extend the syst...
103
Voted
ISTA
2004
15 years 2 months ago
2004
: The employment of a patchwork of nonintegrated security products can only provide incomplete coverage, which cannot give the total panorama of the network misuse behavior. Networ...
118
Voted
FDL
2004
IEEE
15 years 4 months ago
2004
IEEE
In this work we develop a secure communication protocol in the context of a Remote Meter Reading (RMR) System. We first analyze existing standards in secure communication (e.g. IP...