1183 search results - page 111 / 237 » On flow-sensitive security types |
124
click to vote
CCS
2007
ACM
15 years 10 months ago
2007
ACM
Abstract. MicroArchitectural Attacks (MA), which can be considered as a special form of SideChannel Analysis, exploit microarchitectural functionalities of processor implementation...
121
click to vote
CSFW
2006
IEEE
15 years 10 months ago
2006
IEEE
A common theoretical assumption in the study of information flow security in Java-like languages is that pointers are opaque – i.e., that the only properties that can be observ...
139
click to vote
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
The recent growth of the World Wide Web has sparked new research into using the Internet for novel types of group communication, like multiparty videoconferencing and real-time st...
134
click to vote
ICTCS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed to study historybased access control. It allows for parametrized security policies with a possibly nested, local scope. To gov...
108
click to vote
SPW
2001
Springer
15 years 9 months ago
2001
Springer
Although the notion of negotiation has been used extensively in secure communication protocols to establish common keying states, protocol modes and services, this notion is only n...