Security Privacy | Sciweavers

24

click to vote

IEEEARES
2008
IEEE

120views Security Privacy» more IEEEARES 2008»

Analysis of Security Requirements for Cryptographic Voting Protocols (Extended Abstract)

14 years 2 months ago

Download www.ceng.metu.edu.tr

Orhan Cetinkaya

claim paper

Read More »

24

click to vote

IEEEARES
2008
IEEE

95views Security Privacy» more IEEEARES 2008»

Towards Secure E-Commerce Based on Virtualization and Attestation Techniques

14 years 2 months ago

Download www.sec.informatik.tu-darmstadt.de

We present a secure e-commerce architecture that is resistant to client compromise and man-in-the-middle attacks on SSL. To this end, we propose several security protocols that us...

Frederic Stumpf, Claudia Eckert, Shane Balfe

claim paper

Read More »

17

click to vote

IEEEARES
2008
IEEE

79views Security Privacy» more IEEEARES 2008»

Fuzzy Private Matching (Extended Abstract)

14 years 2 months ago

Download eprint.iacr.org

Lukasz Chmielewski, Jaap-Henk Hoepman

claim paper

Read More »

29

click to vote

IEEEARES
2008
IEEE

156views Security Privacy» more IEEEARES 2008»

Reliability Analysis using Graphical Duration Models

14 years 2 months ago

Download www.inrets.fr

Reliability analysis has become an integral part of system design and operating. This is especially true for systems performing critical tasks such as mass transportation systems....

Roland Donat, Laurent Bouillaut, Patrice Aknin, Ph...

claim paper

Read More »

22

click to vote

IEEEARES
2008
IEEE

121views Security Privacy» more IEEEARES 2008»

Risk as Dependability Metrics for the Evaluation of Business Solutions: A Model-driven Approach

14 years 2 months ago

Download www.troposproject.org

The analysis of business solutions is one of critical issues in industry. Risk is one of the most preeminent and accepted metrics for the evaluation of business solutions. Not sur...

Yudistira Asnar, Rocco Moretti, Maurizio Sebastian...

claim paper

Read More »

21

click to vote

IEEEARES
2008
IEEE

88views Security Privacy» more IEEEARES 2008»

Static Validation of Licence Conformance Policies

14 years 2 months ago

Download rap.dsi.unifi.it

Policy conformance is a security property gaining importance due to commercial interest like Digital Rights Management. It is well known that static analysis can be used to valida...

René Rydhof Hansen, Flemming Nielson, Hanne...

claim paper

Read More »

26

click to vote

IEEEARES
2008
IEEE

90views Security Privacy» more IEEEARES 2008»

Rapid Detection of Constant-Packet-Rate Flows

14 years 2 months ago

Download mmnet.iis.sinica.edu.tw

—The demand for effective VoIP and online gaming trafﬁc management methods continues to increase for purposes such as QoS provisioning, usage accounting, and blocking VoIP call...

Kuan-Ta Chen, Jing-Kai Lou

claim paper

Read More »

20

click to vote

IEEEARES
2008
IEEE

123views Security Privacy» more IEEEARES 2008»

Improving Techniques for Proving Undecidability of Checking Cryptographic Protocols

14 years 2 months ago

Download www2.cs.uh.edu

Existing undecidability proofs of checking secrecy of cryptographic protocols have the limitations of not considering protocols common in literature, which are in the form of comm...

Zhiyao Liang, Rakesh M. Verma

claim paper

Read More »

24

click to vote

IEEEARES
2008
IEEE

110views Security Privacy» more IEEEARES 2008»

haplog: A Hash-Only and Privacy-Preserved Secure Logging Mechanism

14 years 2 months ago

Download ir.itri.org.tw

A secure logging mechanism named haplog is proposed. In essence, haplog uses only one-way hash functions to achieve the security and functional requirements of logging. This makes...

Chih-Yin Lin

claim paper

Read More »

27

click to vote

HOST
2008
IEEE

164views Security Privacy» more HOST 2008»

Reassessing the TCG Specifications for Trusted Computing in Mobile and Embedded Systems

14 years 2 months ago