169 search results - page 15 / 34 » Security policy analysis using deductive spreadsheets |
CCS
2006
ACM
13 years 11 months ago
2006
ACM
Attributes define, classify, or annotate the datum to which they are assigned. However, traditional attribute architectures and cryptosystems are ill-equipped to provide security ...
CIKM
2010
Springer
13 years 6 months ago
2010
Springer
The Web has plenty of reviews, comments and reports about products, services, government policies, institutions, etc. The opinions expressed in these reviews influence how people...
DSN
2004
IEEE
13 years 11 months ago
2004
IEEE
Firewalls are the mainstay of enterprise security and the most widely adopted technology for protecting private networks. An error in a firewall policy either creates security hole...
ACSAC
2007
IEEE
14 years 1 months ago
2007
IEEE
Security-typed languages (STLs) are powerful tools for provably implementing policy in applications. The programmer maps policy onto programs by annotating types with information ...
IANDC
2008
13 years 7 months ago
2008
A variant of the Mobile Ambient calculus, called Boundary Ambients, is introduced, supporting the modelling of multi-level security policies. Ambients that may guarantee to proper...