Sciweavers

5255 search results - page 5 / 1051

» Formal Methods for Privacy

129

AGENTS
2001
Springer

203views Security Privacy» more AGENTS 2001»

A formal framework for inter-agent dialogues

15 years 6 months ago

A formal framework for inter-agent dialogues

Download www.sci.brooklyn.cuny.edu

Peter McBurney, Simon Parsons

claim paper

Read More »

127

CCS
2008
ACM

106views Security Privacy» more CCS 2008»

A formal security policy for xenon

15 years 4 months ago

A formal security policy for xenon

Download www.cs.york.ac.uk

John McDermott, Leo Freitas

claim paper

Read More »

102

CRISIS
2009

154views Security Privacy» more CRISIS 2009»

Formal analysis of attacks for e-voting system

15 years 4 months ago

Formal analysis of attacks for e-voting system

Download dit.unitn.it

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

claim paper

Read More »

116

ISSE
2010

124views Security Privacy» more ISSE 2010»

Formal executable semantics for conformance in the MDE framework

15 years 1 months ago

Formal executable semantics for conformance in the MDE framework

Download www.artist-embedded.org

Marina Egea, Vlad Rusu

claim paper

Read More »

139

CCS
2009
ACM

232views Security Privacy» more CCS 2009»

Formalizing information security knowledge

16 years 3 months ago

Formalizing information security knowledge

Download publik.tuwien.ac.at

Unified and formal knowledge models of the information security domain are fundamental requirements for supporting and enhancing existing risk management approaches. This paper de...

Stefan Fenz, Andreas Ekelhart

claim paper

Read More »

« Prev « First page 5 / 1051 Last » Next »