526 search results - page 56 / 106 » A Z Based Approach to Verifying Security Protocols |
152
Voted
ACMSE
2006
ACM
15 years 9 months ago
2006
ACM
If we classify the variables of a program into various security levels, then a secure information flow analysis aims to verify statically that information in the program can flo...
165
Voted
WISA
2009
Springer
15 years 8 months ago
2009
Springer
We introduce low-cost hardware for performing non-invasive side-channel attacks on Radio Frequency Identi cation Devices (RFID) and develop techniques for facilitating a correlatio...
143
Voted
CCS
1994
ACM
15 years 7 months ago
1994
ACM
This paper describes an access control mechanism that enforces at the network level an access control decision that is taken at the application level. The mechanism is based on th...
114
Voted
HASE
1998
IEEE
15 years 7 months ago
1998
IEEE
A well-known security problem with MPOA is that cutthrough connections generally bypasses firewall routers if there are any. None of the previously proposed approaches solved the ...
131
Voted
ICDE
2007
IEEE
15 years 10 months ago
2007
IEEE
In a secure mediated information system, confidentiality is one of the main concerns when transmitting data from datasources to clients via a mediator. We present three approache...