2363 search results - page 62 / 473 » How Secure is RFID |
162
click to vote
DEXAW
2008
IEEE
15 years 6 months ago
2008
IEEE
We have proposed in the past three separate methodologies for secure software development. We have found that they have many common and complementary aspects and we proposed a com...
114
click to vote
CADE
2005
Springer
16 years 4 months ago
2005
Springer
We introduce XOR constraints, and show how they enable a theorem prover to reason effectively about security critical subsystems which employ bitwise XOR. Our primary case study is...
136
click to vote
FOSAD
2000
Springer
15 years 8 months ago
2000
Springer
This material was presented in a series of lectures at fosad, a summer school on Foundations of Security Analysis and Design, at the University of Bologna Center at Bertinoro in Se...
129
click to vote
DRMTICS
2005
Springer
15 years 10 months ago
2005
Springer
This chapter overviews the legal issues arising from the modification of the Sony PlayStation console under Australian Copyright Law - the so called anti-circumvention provisions....
123
click to vote
PET
2010
Springer
15 years 8 months ago
2010
Springer
We investigate the degree to which modern web browsers are subject to “device fingerprinting” via the version and configuration information that they will transmit to website...