3544 search results - page 467 / 709 » Information Security in Open Systems |
PET
2009
Springer
15 years 6 months ago
2009
Springer
Delivery of products bought online can violate consumers’ privacy, although not in a straightforward way. In particular, delivery companies that have contracted with a website kn...
74
Voted
ACSD
2008
IEEE
15 years 6 months ago
2008
IEEE
PICNIC is a tool for verifying security properties of systems, namely non-interference properties of processes expressed as terms of the π-calculus with two security levels and d...
105
click to vote
IEEEARES
2006
IEEE
15 years 5 months ago
2006
IEEE
Mobile ad-hoc networks with their arbitrary topologies are a difficult domain for providing highly available Web services. Since hosts can move unpredictably, finding services a...
AGENTS
2000
Springer
15 years 4 months ago
2000
Springer
Theoretically motivated planning systems often make assumptions about their environments, in areas such as the predictability of action e ects, static behavior of the environment,...
ACSAC
2000
IEEE
15 years 3 months ago
2000
IEEE
Access control is an important protection mechanism for information systems. An access control matrix grants subjects privileges to objects. Today, access control matrices are sta...