2213 search results - page 150 / 443 » Software Security |
119
Voted
CSFW
2010
IEEE
15 years 7 months ago
2010
IEEE
—We propose a formal model of web security based straction of the web platform and use this model to analyze the security of several sample web mechanisms and applications. We id...
106
Voted
SACMAT
2003
ACM
15 years 8 months ago
2003
ACM
Traditional network security technologies such as firewalls and intrusion detection systems usually work according to a static ruleset only. We believe that a better approach to ...
125
Voted
HICSS
2008
IEEE
15 years 10 months ago
2008
IEEE
: This study proposes a new operational framework for Service Oriented Architecture (SOA) network security. It seeks to characterize the current state of practices in SOA network s...
118
Voted
CCS
2007
ACM
15 years 9 months ago
2007
ACM
Recently, a universally composable framework for RFID authentication protocols providing availability, anonymity, and authenticity was proposed. In this paper we extend that frame...
99
Voted
CCS
2001
ACM
15 years 8 months ago
2001
ACM
We describe a software self-checking mechanism designed to improve the tamper resistance of large programs. The mechanism consists of a number of testers that redundantly test for ...