74 search results - page 15 / 15 » The Security of Static Typing with Dynamic Linking |
SIGSOFT
2010
ACM
13 years 29 days ago
2010
ACM
Although a number of automatic tools have been developed to detect faults, much of the diagnosis is still being done manually. To help with the diagnostic tasks, we formally intro...
CCS
2010
ACM
13 years 6 months ago
2010
ACM
"One Click Fraud" is an online confidence scam that has been plaguing an increasing number of Japanese Internet users, in spite of new laws and the mobilization of polic...
ESORICS
2007
Springer
13 years 10 months ago
2007
Springer
We propose the role-and-relation-based access control (R2 BAC) model for workflow systems. In R2 BAC, in addition to a user's role memberships, the user's relationships w...
WCNC
2010
IEEE
13 years 10 months ago
2010
IEEE
—The provision of very high data rates in a ubiquitous manner throughout the service area is a great challenge for 4G and beyond-4G wireless networks. Towards that end, the deplo...