1373 search results - page 119 / 275 » Secure multi-mode systems and their applications for pervasi... |
137
click to vote
CCS
2010
ACM
16 years 21 days ago
2010
ACM
In an attribute-based signature (ABS), users sign messages with any predicate of their attributes issued from an attribute authority. Under this notion, a signature attests not to...
212
click to vote
ATC
2007
Springer
16 years 1 days ago
2007
Springer
Service-oriented architectures (SOA) and, in particular, Web Services designs are currently widely used for the development of open, large-scale interoperable systems. In those sys...
153
click to vote
TCS
2010
15 years 4 months ago
2010
This paper presents an embedded security sublanguage for enforcing informationflow policies in the standard Haskell programming language. The sublanguage provides useful informat...
173
click to vote
LICS
2003
IEEE
15 years 11 months ago
2003
IEEE
Access control is central to security in computer systems. Over the years, there have been many efforts to explain and to improve access control, sometimes with logical ideas and ...
168
click to vote
SP
2002
IEEE
15 years 5 months ago
2002
IEEE
CX, a network-based computational exchange, is presented. The system's design integrates variations of ideas from other researchers, such as work stealing, non-blocking tasks...