6555 search results - page 325 / 1311 » Secure attribute-based systems |
201
click to vote
WETICE
1997
IEEE
15 years 11 months ago
1997
IEEE
: Bugs in network application program can be exploited to compromise the system on which the application is running. When running these applications in an unsafe environment such a...
196
click to vote
CSFW
2007
IEEE
15 years 10 months ago
2007
IEEE
We present interpretations of type systems for secure information flow in Hoare logic, complementing previous encodings in binary (e.g. relational) program logics. Treating base-l...
195
click to vote
CAI
2006
Springer
15 years 6 months ago
2006
Springer
In this paper, formal verification methodologies and the SPR (Safety Problem Resolver) model checking tool are used for verifying a security model's safety. The SPR tool makes...
167
click to vote
JUCS
2008
15 years 6 months ago
2008
Abstract: Recently, Au et al. [Au et al. 2007] pointed out a seemingly neglected security concern for certificateless public key encryption (CL-PKE) scheme, where a malicious key g...
165
click to vote
IFIP
2010
Springer
15 years 1 months ago
2010
Springer
Service Oriented Computing (SOC) is a programming paradigm aiming at characterising Service Networks. Services are entities waiting for clients requests and they often result from ...