2422 search results - page 256 / 485 » Security Policy Consistency |
194
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
The quest for designing secure and trusted software has led to refined Software Engineering methodologies that rely on tools to support the design process. Automated reasoning mech...
184
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
Accurate and synchronized time is crucial in many sensor network applications due to the need for consistent distributed sensing and coordination. In hostile environments where an...
199
click to vote
ICISC
1998
15 years 8 months ago
1998
The classical role of a firewall consists in protecting a computer network against attacks from the outside world, especially the Internet. Firewalls are often expensive, hard to c...
190
click to vote
CSFW
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. We present aspier – the first framework that combines software model checking with a standard protocol security model to analyze authentication and secrecy properties ...
153
click to vote
ESORICS
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. While the idea of database outsourcing is becoming increasingly popular, the associated security risks still prevent many potential users from deploying it. In particular...