Security Privacy | Sciweavers

23

ESORICS
2008
Springer

118views Security Privacy» more ESORICS 2008»

13 years 9 months ago

In authorization, there is often a wish to shift the burden of proof to those making requests, since they may have more resources and more specific knowledge to construct the requi...

Sergio Maffeis, Martín Abadi, Cédric...

claim paper

Read More »

22

click to vote

ESORICS
2008
Springer

132views Security Privacy» more ESORICS 2008»

Disclosure Analysis and Control in Statistical Databases

13 years 9 months ago

Download cimic.rutgers.edu

Yingjiu Li, Haibing Lu

claim paper

Read More »

24

click to vote

CSFW
2008
IEEE

152views Security Privacy» more CSFW 2008»

A Correctness Proof of a Mesh Security Architecture

13 years 9 months ago

Download ece.uwaterloo.ca

The IEEE 802.11s working group is tasked to provide ways of establishing and securing a wireless mesh network. One proposal establishes a Mesh Security Architecture (MSA), with a ...

Doug Kuhlman, Ryan Moriarty, Tony Braskich, Steve ...

claim paper

Read More »

17

click to vote

CSFW
2008
IEEE

122views Security Privacy» more CSFW 2008»

End-to-End Enforcement of Erasure and Declassification

13 years 9 months ago

Download www.cs.cornell.edu

Declassification occurs when the confidentiality of information is weakened; erasure occurs when the confidentiality of information is strengthened, perhaps to the point of comple...

Stephen Chong, Andrew C. Myers

claim paper

Read More »

33

click to vote

CSFW
2008
IEEE

184views Security Privacy» more CSFW 2008»

Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-Calculus

13 years 9 months ago

Download www.infsec.cs.uni-saarland.de

We present a general technique for modeling remote electronic voting protocols in the applied pi-calculus and for automatically verifying their security. In the first part of this...

Michael Backes, Catalin Hritcu, Matteo Maffei

claim paper

Read More »

18

click to vote

CRITIS
2008

63views Security Privacy» more CRITIS 2008»

Emerging Information Infrastructures: Cooperation in Disasters

13 years 9 months ago

Download www.ida.liu.se

Mikael Asplund, Simin Nadjm-Tehrani, Johan Sigholm

claim paper

Read More »

23

click to vote

CRITIS
2008

74views Security Privacy» more CRITIS 2008»

Critical Infrastructures Security Modeling, Enforcement and Runtime Checking

13 years 9 months ago

Download critis08.dia.uniroma3.it

Anas Abou El Kalam, Yves Deswarte

claim paper

Read More »

20

click to vote

CRITIS
2008

135views Security Privacy» more CRITIS 2008»

Testbeds for Assessing Critical Scenarios in Power Control Systems

13 years 9 months ago

Download www.esat.kuleuven.be

Abstract. The paper presents a set of control system scenarios implemented in two testbeds developed in the context of the European Project CRUTIAL - CRitical UTility Infrastructur...

Giovanna Dondossola, Geert Deconinck, Fabrizio Gar...

claim paper

Read More »

19

click to vote

CRITIS
2008

99views Security Privacy» more CRITIS 2008»

Modeling and Simulation of Complex Interdependent Systems: A Federated Agent-Based Approach

13 years 9 months ago