3811 search results - page 319 / 763 » The Safe-Tcl Security Model |
196
Voted
CCS
2008
ACM
15 years 8 months ago
2008
ACM
The Unified Model (UM) key agreement protocol is an efficient Diffie-Hellman scheme that has been included in many cryptographic standards, most recently in the NIST SP 80056A sta...
177
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
We present EON, a logic-programming language and tool that can be used to model and analyze dynamic access control systems. Our language extends Datalog with some carefully design...
190
click to vote
KDD
2003
ACM
16 years 7 months ago
2003
ACM
We present and evaluate a NIC-based network intrusion detection system. Intrusion detection at the NIC makes the system potentially tamper-proof and is naturally extensible to wor...
197
click to vote
IEEEARES
2009
IEEE
16 years 1 months ago
2009
IEEE
— Trust in software services is a key prerequisite for the success and wide adoption of Services-Oriented Computing (SOC) in an open Internet world. However, trust is poorly asse...
159
click to vote
ESORICS
2009
Springer
16 years 1 months ago
2009
Springer
Radio frequency identification (RFID) chips have been widely deployed in large-scale systems such as inventory control and supply chain management. While RFID technology has much...