Sciweavers

16218 search results - page 127 / 3244
» Standards
Sort
View
IBMSJ
2007
43views more  IBMSJ 2007»
15 years 4 months ago
Evolving standards for IT service management
Mark W. Johnson, Andrew Hately, Brent A. Miller, R...
IEEESP
2007
62views more  IEEESP 2007»
15 years 4 months ago
A Critique of the ANSI Standard on Role-Based Access Control
Ninghui Li, Ji-Won Byun, Elisa Bertino
SIGOPS
2008
306views more  SIGOPS 2008»
15 years 4 months ago
virtio: towards a de-facto standard for virtual I/O devices
The Linux Kernel currently supports at least 8 distinct virtualization systems: Xen, KVM, VMware's VMI, IBM's System p, IBM's System z, User Mode Linux, lguest and ...
Rusty Russell
TCS
2008
15 years 4 months ago
Sound and complete computational interpretation of symbolic hashes in the standard model
This paper provides one more step towards bridging the gap between the formal and computational approaches to the verification of cryptographic protocols. We extend the well-known ...
Flavio D. Garcia, Peter van Rossum