Search results for "secrecy requirements"

Found 10 publication records. Showing 10 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Reiner Sailer, M. Kabatnik	History-based Distributed Filtering - A Tagging Approach to Network-Level Access Control.	ACSAC	2000	DBLP DOI BibTeX RDF	history-based distributed filtering, network-level access control, nondiscretionary access control model, data packet exchange, subversive channels, secrecy requirements, trustworthiness validation, data integrity, data integrity, tagging, packet switching, data communication, authorisation, electronic data interchange, telecommunication security, data transmission, context information, telecommunication network management, security levels, state information, security labels, subnetworks
1	Chou Chen Yang, Hung-Wen Yang, Hui-Chuan Huang	A robust and secure data transmission scheme based on identity-based cryptosystem for ad hoc networks.	IWCMC	2010	DBLP DOI BibTeX RDF	impersonate destination node attacks, packet forgery attacks, ad hoc networks, elliptic curve cryptography, hash chains, collision attacks, identity-based cryptosystem
1	Joseph Y. Halpern, Kevin R. O'Neill	Secrecy in Multiagent Systems.	ACM Trans. Inf. Syst. Secur.	2008	DBLP DOI BibTeX RDF	information flow, secrecy
1	Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala	Analyzing Security Protocols Using Time-Bounded Task-PIOAs.	Discrete Event Dynamic Systems	2008	DBLP DOI BibTeX RDF	Time-bounded task-PIOAs, Probabilistic input/output automata, Security protocols, Oblivious transfer
1	Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala	Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols.	DISC	2006	DBLP DOI BibTeX RDF
1	Iliano Cervesato, Catherine Meadows, Dusko Pavlovic	An Encapsulated Authentication Logic for Reasoning about Key Distribution Protocols.	CSFW	2005	DBLP DOI BibTeX RDF
1	Imre Csiszár, Prakash Narayan	Secrecy capacities for multiple terminals.	IEEE Transactions on Information Theory	2004	DBLP DOI BibTeX RDF
1	Jeremy Bryans, Maciej Koutny, Peter Y. A. Ryan	Modelling Dynamic Opacity Using Petri Nets with Silent Actions.	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF	non-deducibility, observable behaviour, silent actions, Petri nets, anonymity, opacity
1	Joseph Y. Halpern, Kevin R. O'Neill	Secrecy in Multiagent Systems.	CSFW	2002	DBLP DOI BibTeX RDF
1	Rosario Gennaro, Stanislaw Jarecki, Hugo Krawczyk, Tal Rabin	Secure Distributed Key Generation for Discrete-Log Based Cryptosystems.	EUROCRYPT	1999	DBLP DOI BibTeX RDF	Distributed Key Generation, Discrete Logarithm, Threshold Cryptography, VSS