637 search results - page 112 / 128 » The Case for Abstracting Security Policies |
92
Voted
SAFECOMP
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
RAID
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. Attack analysis is a challenging problem, especially in emerging environments where there are few known attack cases. One such new environment is the Mobile Ad hoc Networ...
CAISE
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Recently, several large companies have been involved in financial scandals related to mismanagement, resulting in financial damages for their stockholders. In response, c...
100
click to vote
PKC
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Pairings on elliptic curves over finite fields are crucial for constructing various cryptographic schemes. The T pairing on supersingular curves over GF(3n ) is particula...
FS
2010
14 years 8 months ago
2010
Abstract A time-dependent double-barrier option is a derivative security that delivers the terminal value φ(ST ) at expiry T if neither of the continuous time-dependent barriers b...