3305 search results - page 183 / 661 » Can we Rely on SQL |
DEXAW
2006
IEEE
14 years 4 months ago
2006
IEEE
Traditional methods for integrity checking in relational or deductive databases heavily rely on the assumption that data have integrity before the execution of updates. In this wa...
SP
2006
IEEE
14 years 4 months ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
MOBICOM
2006
ACM
14 years 4 months ago
2006
ACM
Broadcast transmissions are the predominate form of network traffic in a VANET. However, since there is no MAC-layer recovery on broadcast frames within an 802.11-based VANET, th...
ACSC
2005
IEEE
14 years 4 months ago
2005
IEEE
Most current network intrusion detection systems employ signature-based methods or data mining-based methods which rely on labelled training data. This training data is typically ...
ICECCS
2005
IEEE
14 years 4 months ago
2005
IEEE
To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems’ resources. These permissions rely on certai...