5119 search results - page 761 / 1024 » Security Privacy |
154
Voted
SP
2005
IEEE
16 years 7 days ago
2005
IEEE
We present a distributed algorithm for assembling a proof that a request satisfies an access-control policy expressed in a formal logic, in the tradition of Lampson et al. [16]. ...
170
click to vote
SP
2005
IEEE
16 years 7 days ago
2005
IEEE
An apparently prevailing myth is that safety is undecidable in Discretionary Access Control (DAC); therefore, one needs to invent new DAC schemes in which safety analysis is decid...
197
click to vote
SP
2005
IEEE
16 years 7 days ago
2005
IEEE
It is widely believed that content-signature-based intrusion detection systems (IDSes) are easily evaded by polymorphic worms, which vary their payload on every infection attempt....
146
click to vote
SP
2005
IEEE
16 years 7 days ago
2005
IEEE
We present a methodology to automatically construct robust signatures whose accuracy is based on formal reasoning so it can be systematically evaluated. Our methodology is based o...
164
click to vote
ACISP
2005
Springer
16 years 6 days ago
2005
Springer
Group signature schemes with membership revocation have been intensively researched. However, signing and/or verification of some existing schemes have computational costs of O(R)...