Electronic marketplaces are important because of their potential to change industry structure, for example, by eliminating or altering the role of traditional intermediaries, lead...
We address the problem of privacy-preserving access control in distributed systems. Users commonly reveal more personal data than strictly necessary to be granted access to online...
Model checkers such as FDR have been extremely e ective in checking for, and nding, attacks on cryptographic protocols { see, for example 11, 12, 14] and many of the papers in 3]....
: In a relatively short period of time, educational technology has become a basic component of the instructional life of almost every College or University around the world. The wa...
Lawrence M. Baldwin, Panagiotis Takis Metaxas, Win...
Computer and network administrators are often confused or uncertain about the behavior of their networks. Traditional analysis using IP ports, addresses, and protocols are insuffi...
Hajime Inoue, Dana Jansens, Abdulrahman Hijazi, An...