Sciweavers

2454 search results - page 114 / 491
» Privacy in the Information and Communications Technologies
Sort
View
TRUSTBUS
2009
Springer
15 years 8 months ago
Operational Semantics for DKAL: Application and Analysis
DKAL is a new expressive high-level authorization language. It has been successfully tried at Microsoft which led to further improvements of the language itself. One improvement is...
Yuri Gurevich, Arnab Roy
CSFW
2003
IEEE
15 years 6 months ago
Type-Based Distributed Access Control
A type system is presented that combines a weak form of information flow control, termed distributed access control in the paper, with typed cryptographic operations. The motivat...
Tom Chothia, Dominic Duggan, Jan Vitek
ISCIS
2003
Springer
15 years 6 months ago
Implementing Agent Communication for a Multi-agent Simulation Infrastructure on HLA
Abstract. Multi-agent simulation is gaining popularity due to its intuitiveness and ability in coping with domain complexity. HLA, being a distributed simulation architecture stand...
Erek Göktürk, Faruk Polat
GLOBECOM
2007
IEEE
15 years 3 months ago
Dense Parity Check Based Secrecy Sharing in Wireless Communications
Abstract—It is generally believed harmful to have transmission errors in the wireless communications. The high decoding complexity of dense parity check codes is unfavorable. Thi...
Sheng Xiao, Hossein Pishro-Nik, Weibo Gong
70
Voted
JLP
2008
123views more  JLP 2008»
15 years 1 months ago
Communicating by compatibility
A bio-inspired language is presented. Its terms are processes enclosed into boxes with typed interaction sites. The main feature of the formalism lays in the fact that the key-loc...
Davide Prandi, Corrado Priami, Paola Quaglia