2575 search results - page 64 / 515 » Providing security with insecure systems |
153
click to vote
CIKM
2005
Springer
15 years 11 months ago
2005
Springer
Web-based third-party architectures for data publishing are today receiving growing attention, due to their scalability and the ability to efficiently manage large numbers of use...
157
click to vote
PERVASIVE
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. A logic-based language is often adopted in systems for pervasive computing, because it provides a convenient way to define rules that change the behavior of the systems d...
152
click to vote
BDIM
2007
IEEE
15 years 6 months ago
2007
IEEE
In this paper we present an approach for specifying respect to security. When an organization wants to secure and prioritizing information security requirements in organiza- its sy...
144
click to vote
FTDCS
2003
IEEE
15 years 11 months ago
2003
IEEE
There is an increasing need within the Navy and Marine Corps for building distributed situation-aware applications that are rapidly recon gurable and survivable in the face of att...
163
click to vote
SIGOPS
2008
15 years 6 months ago
2008
The Caernarvon operating system was developed to demonstrate that a high assurance system for smart cards was technically feasible and commercially viable. The entire system has b...