3420 search results - page 244 / 684 » A Language-Based Approach to Security |
156
click to vote
INFOCOM
2012
IEEE
13 years 7 months ago
2012
IEEE
Abstract—We present the design and experimental evaluation of Simultaneous TRansmission with Orthogonally Blinded Eavesdroppers (STROBE). STROBE is a cross-layer approach that ex...
159
click to vote
CSFW
2008
IEEE
15 years 12 months ago
2008
IEEE
We present an authorization logic that permits reasoning with explicit time. Following a proof-theoretic approach, we study the meta-theory of the logic, including cut elimination...
144
click to vote
ACSAC
2005
IEEE
15 years 11 months ago
2005
IEEE
Privacy is extremely important in healthcare systems. Unfortunately, most of the solutions already deployed are developed empirically. After discussing some of such existing solut...
152
click to vote
SMARTNET
2000
15 years 6 months ago
2000
The trend towards value-added Internet services causes network providers to deploy new network based quality-of-service and security services. Today, however, the customer has onl...
135
click to vote
IWSEC
2009
Springer
15 years 12 months ago
2009
Springer
Abstract. Common software-protection systems attempt to detect malicious observation and modification of protected applications. Upon tamper detection, anti-hacking code may produ...