1357 search results - page 107 / 272 » Controlling Access to Documents: A Formal Access Control Mod... |
165
click to vote
ACSAC
2001
IEEE
15 years 10 months ago
2001
IEEE
According to one common view, information security comes down to technical measures. Given better access control policy models, formal proofs of cryptographic protocols, approved ...
298
click to vote
ICC
2007
IEEE
16 years 22 days ago
2007
IEEE
—Conventional 802.11 medium access control (MAC) characteristics. In particular, all of these designs adopted a protocols have been designed separately from the characteristics s...
180
click to vote
IJOE
2007
15 years 6 months ago
2007
: The experience and content of a PLC course developed for distance learning (ODL) is presented. The course aims to introduce the student into the automation world of industrial pr...
192
click to vote
IEEEARES
2007
IEEE
16 years 21 days ago
2007
IEEE
Access control in decentralised collaborative systems present huge challenges especially where many autonomous entities including organisations, humans, software agents from diff...
172
click to vote
HYBRID
2010
Springer
15 years 11 months ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...