294 search results - page 18 / 59 » Analyzing Consistency of Security Policies |
IJISEC
2007
13 years 7 months ago
2007
This paper presents a language in which information flow is securely controlled by a type system, yet the security class of data can vary dynamically. Information flow policies ...
MSS
2008
IEEE
13 years 7 months ago
2008
IEEE
This paper considers the licensing of a quality-improving innovation. We analyze a duopoly model with heterogeneous firms and consumers. Firms compete in prices and face logit dem...
WORDS
2005
IEEE
14 years 27 days ago
2005
IEEE
This paper presents a framework for verifying the access control requirements of real-time application systems such as workflow management systems and active databases. The tempor...
CSFW
2009
IEEE
14 years 2 months ago
2009
IEEE
One of the important challenges when designing and analyzing cryptographic protocols is the enforcement of security properties in the presence of compromised participants. This pa...
PDCAT
2004
Springer
14 years 20 days ago
2004
Springer
Malicious codes and worms comprise the largest portion of the loss caused the security problem in the Internet. Small worms such as the “Blaster” spread quickly through the eno...