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

14 years 18 days 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

13 years 12 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

13 years 12 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

13 years 11 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

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers