6555 search results - page 1152 / 1311 » Secure attribute-based systems |
116
click to vote
IPMU
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Many surveillance cameras are being installed throughout the environments of our daily lives because they effectively maintain safety and offer security to ordinary peopl...
147
click to vote
JFP
2010
15 years 1 months ago
2010
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...
111
click to vote
PVLDB
2010
15 years 1 months ago
2010
The workflow models have been essentially operation-centric for many years, ignoring almost completely the data aspects. Recently, a new paradigm of data-centric workflows, call...
118
click to vote
RFIDSEC
2010
15 years 1 months ago
2010
NFC is a standardised technology providing short-range RFID communication channels for mobile devices. Peer-to-peer applications for mobile devices are receiving increased interest...
152
click to vote
SEKE
2010
Springer
15 years 1 months ago
2010
Springer
Given the bytecode of a software system, is it possible to automatically generate attack signatures that reveal its vulnerabilities? A natural solution would be symbolically execu...