739 search results - page 8 / 148 » Security Analysis of IEEE 802.16 |
164
click to vote
ICECCS
2005
IEEE
15 years 11 months ago
2005
IEEE
To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems’ resources. These permissions rely on certai...
143
click to vote
SP
2006
IEEE
15 years 12 months ago
2006
IEEE
We propose PS-LTL, a pure-past security linear temporal logic that allows the specification of a variety of authentication, secrecy and data freshness properties. Furthermore, we...
173
click to vote
COMPSAC
2000
IEEE
15 years 10 months ago
2000
IEEE
Brewer and Nash, and immediately updated by this author, introduced Chinese Wall security policy models for commercial security. Applying Pawlak's idea of conflict analysis, ...
169
click to vote
CSFW
1999
IEEE
15 years 10 months ago
1999
IEEE
Belief-logic deductions are used in the analysis of cryptographic protocols. We show a new method to decide such logics. In addition to the familiar BAN logic, it is also applicab...
164
click to vote
IEEEARES
2010
IEEE
16 years 25 days ago
2010
IEEE
Abstract—Despite a long standing need to incorporate human factors into security risk analysis, taking a balanced approach to analysing security and usability concerns remains a ...