101 search results - page 14 / 21 » Formal approach to security metrics.: what does |
102
Voted
ICSE
2003
IEEE-ACM
16 years 20 days ago
2003
IEEE-ACM
Methods to assess and ensure system usability are becoming increasingly important as market edge becomes less dependent on function and more dependent on ease of use, and as recog...
112
Voted
FOSSACS
2009
Springer
15 years 7 months ago
2009
Springer
Bisimulation between processes has been proven a successful method for formalizing security properties. We argue that in certain cases, a scheduler that has full information on the...
130
Voted
SWS
2004
ACM
15 years 6 months ago
2004
ACM
Technical advances in networks, operating systems and web based services are enabling new web-based services such as audiovisual surveillance, monitoring and recording of unfoldin...
91
Voted
TLDI
2003
ACM
15 years 5 months ago
2003
ACM
An important consideration for certified code systems is the interaction of the untrusted program with the runtime system, most notably the garbage collector. Most certified cod...
120
click to vote
ISCC
2002
IEEE
15 years 5 months ago
2002
IEEE
Mobile ad hoc networking offers convenient infrastructureless communication over the shared wireless channel. However, the nature of ad hoc networks makes them vulnerable to secur...