Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

CCS
2007
ACM

favoriteEmaildiscussreport

74views Security Privacy» more CCS 2007»

Security policy analysis using deductive spreadsheets

13 years 10 months ago

Security policy analysis using deductive spreadsheets

Download www.cs.sunysb.edu

Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan,

Real-time Traffic

CCS 2007 | Security Privacy |

claim paper

Related Content

» Validation of Policy Integration Using Alloy

» Using Deductive CauseConsequence Analysis DCCA with SCADE

» A Proof Theoretic Analysis of Intruder Theories

» Towards System Integrity Protection with GraphBased Policy Analysis

» Decision Procedures for the Analysis of Cryptographic Protocols by Logics of Belief

» Algebraic Intruder Deductions

» Using Argumentation Logic for Firewall Policy Specification and Analysis

» Testing Security Policies Going Beyond Functional Testing

» Complete analysis of configuration rules to guarantee reliable network security policies

Post Info
More Details (n/a)

Added	07 Jun 2010
Updated	07 Jun 2010
Type	Conference
Year	2007
Where	CCS
Authors	Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott D. Stoller, David Scott Warren

Comments (0)