Search Sciweavers | Sciweavers

5255 search results - page 4 / 1051

» Formal Methods for Privacy

click to vote

CSFW
2002
IEEE

86views Security Privacy» more CSFW 2002»

Formal Specification of Intrusion Signatures and Detection Rules

15 years 2 months ago

Download www.cse.msu.edu

Jean-Philippe Pouzol, Mireille Ducassé

claim paper

Read More »

click to vote

AGENTS
2000
Springer

106views Security Privacy» more AGENTS 2000»

A Formal Development and Validation Methodology Applied to Agent-Based Systems

15 years 2 months ago

Download cui.unige.ch

Giovanna Di Marzo Serugendo

claim paper

Read More »

click to vote

IEEEARES
2010
IEEE

128views Security Privacy» more IEEEARES 2010»

Formal Specification and Analysis of an E-voting System

15 years 2 months ago

Download dit.unitn.it

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

claim paper

Read More »

click to vote

CSFW
1990
IEEE

102views Security Privacy» more CSFW 1990»

A Formal Framework for Single Level Decomposition of Multilevel Relations

15 years 2 months ago

Download www.list.gmu.edu

Sushil Jajodia, Ravi S. Sandhu

claim paper

Read More »

click to vote

CSFW
2004
IEEE

92views Security Privacy» more CSFW 2004»

A Formal Foundation for XrML

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers