2270 search results - page 359 / 454 » Modelling Secure IT Systems - A Survey |
134
click to vote
BIRTHDAY
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. The explicit management of Quality of Service (QoS) of network connectivity, such as, e.g., working cost, transaction support, and security, is a key requirement for the ...
135
Voted
CRYPTO
2006
Springer
15 years 7 months ago
2006
Springer
We present an identity-based cryptosystem that features fully anonymous ciphertexts and hierarchical key delegation. We give a proof of security in the standard model, based on the...
143
click to vote
MDM
2009
Springer
15 years 10 months ago
2009
Springer
—With the growing popularity of social networking, traditional Internet Service Providers (ISPs) and Telecom operators have both started exploring new opportunities to boost thei...
137
click to vote
GROUP
2003
ACM
15 years 9 months ago
2003
ACM
In this paper we describe a current group configuration that is used to support people with cognitive disabilities (hereinafter referred to as “clients”) in the workplace. A c...
145
click to vote
ESOP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...