3420 search results - page 211 / 684 » A Language-Based Approach to Security |
163
click to vote
SACMAT
2010
ACM
15 years 9 months ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
135
Voted
HICSS
2009
IEEE
15 years 8 months ago
2009
IEEE
To facilitate rational decision making regarding cyber security investments, decision makers need to be able to assess expected losses before and after potential investments. This...
172
click to vote
APSCC
2008
IEEE
15 years 6 months ago
2008
IEEE
Monitors have been used for real-time systems to ensure proper behavior; however, most approaches do not allow for the addition of relevant fields required to identify and react t...
138
click to vote
ISSA
2008
15 years 6 months ago
2008
Bluetooth connectivity allows workers to access information anywhere, including both personal and corporate information. Software and applications have been specifically developed...
139
click to vote
ISSA
2004
15 years 6 months ago
2004
E-commerce is a rapidly expanding sector all over the world. While this is apparently good news to the world's consumers and business companies, it is creating big challenges...