5343 search results - page 214 / 1069 » Keyword programming in java |
128
click to vote
ESORICS
2010
Springer
15 years 3 months ago
2010
Springer
Sun and the CERT recommend for secure Java development to not allow partially initialized objects to be accessed. The CERT considers the severity of the risks taken by not followin...
120
Voted
TACAS
2010
Springer
15 years 14 days ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
127
Voted
SIGCSE
2010
ACM
15 years 9 months ago
2010
ACM
ion is a critical concept that underlies many topics in computing science. For example, in software engineering, the distinction between a component’s behavior and its implement...
117
Voted
SWS
2006
ACM
15 years 8 months ago
2006
ACM
Single sign-on is critical for the usability of distributed systems. While there are several authentication mechanisms which support single sign-on (e.g. Kerberos and X.509), it m...
119
Voted
CCS
2008
ACM
15 years 4 months ago
2008
ACM
Runtime monitoring systems play an important role in system security, and verification efforts that ensure that these systems satisfy certain desirable security properties are gro...