169 search results - page 1 / 34 » Security policy analysis using deductive spreadsheets |
CCS
2007
ACM
13 years 11 months ago
2007
ACM
ICDCIT
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Organizations typically have multiple security policies operating together in the same system. The integration of multiple policies might be needed to achieve the desired...
SAFECOMP
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
CORR
2010
Springer
13 years 2 months ago
2010
Springer
We consider the problem of intruder deduction in security protocol analysis: that is, deciding whether a given message M can be deduced from a set of messages under the theory of ...
DBSEC
2009
13 years 6 months ago
2009
Abstract. Identifying and protecting the trusted computing base (TCB) of a system is an important task, which is typically performed by designing and enforcing a system security po...