14850 search results - page 273 / 2970 » The Security of |
235
click to vote
SP
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper presents FABLE, a core formalism for a programming language in which programmers may specify security policies and reason that these policies are properly enforced. In ...
217
Voted
SAC
2008
ACM
15 years 7 months ago
2008
ACM
The importance of the Web service technology for business, government, among other sectors, is growing. Its use in these sectors demands security concern. The Web Services Securit...
219
click to vote
PERCOM
2010
ACM
15 years 5 months ago
2010
ACM
—This paper presents a Secure Code Update (SCU) system for Wireless Sensor Networks (WSNs). This solution achieves different security goals. First, through a dedicated authentica...
208
click to vote
SEDE
2010
15 years 5 months ago
2010
Security certification assesses the security posture of a software system to verify its compliance with diverse, pre-specified security controls identified by guidelines from NIST...
212
Voted
FIW
2009
15 years 5 months ago
2009
The security of software applications is an important domain, and one that mixes formalisms (e.g. when dealing with cryptography and security protocols) with very ad hoc, low level...