Search Sciweavers | Sciweavers

343 search results - page 2 / 69

» Formal security analysis of PKCS

click to vote

CRISIS
2009

154views Security Privacy» more CRISIS 2009»

Formal analysis of attacks for e-voting system

13 years 6 months ago

Download dit.unitn.it

Komminist Weldemariam, Richard A. Kemmerer, Adolfo...

claim paper

Read More »

click to vote

CCS
2003
ACM

119views Security Privacy» more CCS 2003»

Formal access control analysis in the software development process

13 years 10 months ago

Download www.inf.fu-berlin.de

Security is a crucial aspect in any modern software system. To ensure security in the ﬁnal product, security requirements must be considered in the entire software development p...

Manuel Koch, Francesco Parisi-Presicce

claim paper

Read More »

click to vote

CSFW
2011
IEEE

213views Security Privacy» more CSFW 2011»

Formal Analysis of Protocols Based on TPM State Registers

12 years 5 months ago

Download www.lsv.ens-cachan.fr

—We present a Horn-clause-based framework for analysing security protocols that use platform conﬁguration registers (PCRs), which are registers for maintaining state inside the...

Stéphanie Delaune, Steve Kremer, Mark Dermo...

claim paper

Read More »

click to vote

ESORICS
2012
Springer

299views Security Privacy» more ESORICS 2012»

Formal Analysis of Privacy in an eHealth Protocol

11 years 7 months ago

Download satoss.uni.lu

Given the sensitive nature of health data, privacy of eHealth systems is of prime importance. An eHealth system must enforce that users remain private, even if they are bribed or c...

Naipeng Dong, Hugo Jonker, Jun Pang

claim paper

Read More »

click to vote

CRISIS
2008

92views Security Privacy» more CRISIS 2008»

Formal procedural security modeling and analysis

13 years 6 months ago

Download dit.unitn.it

We are involved in a project related to the evaluation

Komminist Weldemariam, Adolfo Villafiorita

claim paper