Search results for "integrity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Mallik Kandala, Wei Zhang 0002, Laurence Tianruo Yang	An Area-Efficient Approach to Improving Register File Reliability against Transient Errors.	AINA Workshops (1)	2007	DBLP DOI BibTeX RDF
10	Junjie Ni, Yongxin Zhu 0001, Wei Guo	An Improved RAIM Scheme for Processing Multiple Outliers in GNSS.	AINA Workshops (1)	2007	DBLP DOI BibTeX RDF
10	Kevin W. Hamlen, Bhavani Thuraisingham	Secure peer-to-peer networks for trusted collaboration.	CollaborateCom	2007	DBLP DOI BibTeX RDF
10	Jae-Hyeok Jang, Myung-Chan Park, Young-Shin Park, Byoung-Soo Koh, Yong-Rak Choi	A Mechanism for Securing Digital Evidences in Pervasive Environments.	APWeb/WAIM Workshops	2007	DBLP DOI BibTeX RDF
10	Philip David Smart, Alia I. Abdelmoty, Baher A. El-Geresy, Christopher B. Jones	A Framework for Combining Rules and Geo-ontologies.	RR	2007	DBLP DOI BibTeX RDF
10	Xiao Qin 0001	Security-aware resource management for real-time applications on clusters.	CLUSTER	2007	DBLP DOI BibTeX RDF
10	An'an Luo, Chuang Lin 0002, Zhen Chen 0001, Xuehai Peng, Peter D. Ungsunan	TNC-compatible NAC System implemented on Network Processor.	LCN	2007	DBLP DOI BibTeX RDF	TNC, AES algorithm, network processor, network access control
10	Masoom Alam, Jean-Pierre Seifert, Xinwen Zhang	A Model-Driven Framework for Trusted Computing Based Systems.	EDOC	2007	DBLP DOI BibTeX RDF
10	Marco Panunzio, Tullio Vardanega	A Metamodel-Driven Process Featuring Advanced Model-Based Timing Analysis.	Ada-Europe	2007	DBLP DOI BibTeX RDF
10	Lenin Singaravelu, Calton Pu	Fine-Grain, End-to-End Security for Web Service Compositions.	IEEE SCC	2007	DBLP DOI BibTeX RDF
10	Nicolas Sklavos 0001, Paris Kitsos, K. Papadopoulos, Odysseas G. Koufopavlou	Design, Architecture and Performance Evaluation of the Wireless Transport Layer Security.	J. Supercomput.	2006	DBLP DOI BibTeX RDF	WTLS implementation, WAP security, wireless networks, wireless communications, security system
10	Sudharshan S. Vazhkudai, Xiaosong Ma, Vincent W. Freeh, Jonathan W. Strickland, Nandan Tammineedi, Tyler A. Simon, Stephen L. Scott	Constructing collaborative desktop storage caches for large scientific datasets.	ACM Trans. Storage	2006	DBLP DOI BibTeX RDF	serverless storage system, storage networking, storage resoucce management, storage scavenging, striped storage, parallel I/O, Distributed storage, scientific data management, storage cache
10	Brian Rogers, Milos Prvulovic, Yan Solihin	Efficient data protection for distributed shared memory multiprocessors.	PACT	2006	DBLP DOI BibTeX RDF	DSM multiprocessor, memory encryption and authentication, data security
10	Kunihiko Miyazaki, Goichiro Hanaoka, Hideki Imai	Digitally signed document sanitizing scheme based on bilinear maps.	AsiaCCS	2006	DBLP DOI BibTeX RDF	digital signature, information disclosure, privacy issue
10	Leo Freitas, Ana Cavalcanti 0001, Jim Woodcock 0001	Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking.	ICFEM	2006	DBLP DOI BibTeX RDF
10	Renan G. Cattelan, Shan He 0002, Darko Kirovski	Prototyping a novel platform for free-trade of digital content.	WebMedia	2006	DBLP DOI BibTeX RDF	digital content trading, mobile electronic marketing, off-line economies, electronic commerce, mobile commerce, viral marketing, word-of-mouth
10	Luciano Caroprese, Cristian Molinaro, Ester Zumpano	Integrating and Querying P2P Deductive Databases.	IDEAS	2006	DBLP DOI BibTeX RDF
10	Mikael Asplund, Simin Nadjm-Tehrani	Post-partition reconciliation protocols for maintaining consistency.	SAC	2006	DBLP DOI BibTeX RDF	reconciliation protocol, partition, consistency, availability, trade-off
10	Sunghyuck Hong, Noé Lopez-Benitez	Enhanced Group Key Generation Algorithm.	NOMS	2006	DBLP DOI BibTeX RDF
10	Stephen Chong, Andrew C. Myers	Decentralized Robustness.	CSFW	2006	DBLP DOI BibTeX RDF
10	Yintang Dai, Shiyong Zhang	Multi-Agent based Data Integration in Real-world.	CIT	2006	DBLP DOI BibTeX RDF	Multi-Agent System (MAS), Data Integration, Data Warehouse
10	Alban Gabillon, Laurent Gallon	Availability Constraints for Avionic Data Buses.	ARES	2006	DBLP DOI BibTeX RDF
10	Feng Cao, Cullen Jennings	Providing Response Identity and Authentication in IP Telephony.	ARES	2006	DBLP DOI BibTeX RDF	Secure Enterprise Architecture, Voice Spam, Spam in IP Telephony (SPIT), IP Telephony, VoIP Security
10	Mingchu Li, Hongyan Yao	Recovery Mechanism of Cooperative Process Chain in Grid.	ARES	2006	DBLP DOI BibTeX RDF	process cooperation, processrecovery mechanism, grid
10	Johannes Osrael, Lorenz Froihofer, Karl M. Göschka, Stefan Beyer, Pablo Galdámez, Francesc D. Muñoz-Escoí	A System Architecture for Enhanced Availability of Tightly Coupled Distributed Systems.	ARES	2006	DBLP DOI BibTeX RDF
10	Zijing Tan, Wei Wang 0009, Jianjun Xu, Baile Shi	Repairing Inconsistent XML Documents.	KSEM	2006	DBLP DOI BibTeX RDF
10	Anna Queralt, Ernest Teniente	Reasoning on UML Class Diagrams with OCL Constraints.	ER	2006	DBLP DOI BibTeX RDF
10	Guofei Gu, Prahlad Fogla, Wenke Lee, Douglas M. Blough	DSO: Dependable Signing Overlay.	ACNS	2006	DBLP DOI BibTeX RDF	P2P overlay, digital signing service, fault-tolerance, dependable, intrusion-tolerance
10	Janne Lahtiranta, Kai Kimppa	Elderly People and Emerging Threats of the Internet and New Media.	I3E	2006	DBLP DOI BibTeX RDF
10	Adam Pridgen, Christine Julien 0001	SMASH: Modular Security for Mobile Agents.	SELMAS (LNCS)	2006	DBLP DOI BibTeX RDF
10	Erkut Sinan Ayla, Attila Ozgit	An architecture for end-to-end and inter-domain trusted mail delivery service.	ISCN	2006	DBLP DOI BibTeX RDF
10	Heiko Rossnagel, Tobias Scherner	Secure Mobile Notifications of Civilians in Case of a Disaster.	Communications and Multimedia Security	2006	DBLP DOI BibTeX RDF
10	Jean-Philippe Boyer, Pierre Duhamel, Jacques Blanc-Talon	Spread-Spectrum Substitution watermarking Game.	ICME	2006	DBLP DOI BibTeX RDF
10	Istemi Ekin Akkus, Öznur Özkasap, M. Reha Civanlar	Secure Transmission of Video on an End System Multicast Using Public Key Cryptography.	MRCS	2006	DBLP DOI BibTeX RDF
10	Vivek Nigam, Masud H. Chowdhury, Roland Priemer	Compound noise analysis in digital circuits using blind source separation.	ISCAS	2006	DBLP DOI BibTeX RDF
10	Yun Ji Na, Il Seok Ko, Gun Heui Han	A Design of the Flexible Mobile Agents Based on Web.	ICCSA (5)	2006	DBLP DOI BibTeX RDF	Security, Mobile Agent, Intelligent Agent, Flexibility
10	Andrew B. Kahng, Bao Liu 0001, Xu Xu 0001	Constructing Current-Based Gate Models Based on Existing Timing Library.	ISQED	2006	DBLP DOI BibTeX RDF
10	Yuji Watanabe, Sachiko Yoshihama, Takuya Mishina, Michiharu Kudo, Hiroshi Maruyama	Bridging the Gap Between Inter-communication Boundary and Internal Trusted Components.	ESORICS	2006	DBLP DOI BibTeX RDF
10	Zijing Tan, Wei Wang 0009, Baile Shi	Extending Tree Automata to Obtain Consistent Query Answer from Inconsistent XML Document.	IMSCCS (2)	2006	DBLP DOI BibTeX RDF
10	Bettina Fazzinga, Sergio Flesca, Filippo Furfaro, Francesco Parisi	DART: A Data Acquisition and Repairing Tool.	EDBT Workshops	2006	DBLP DOI BibTeX RDF
10	Kapil Kumar Gupta, Baikunth Nath, Kotagiri Ramamohanarao, Ashraf U. Kazi	Attacking Confidentiality: An Agent Based Approach.	ISI	2006	DBLP DOI BibTeX RDF
10	Mikael Asplund, Simin Nadjm-Tehrani	Formalising Reconciliation in Partitionable Networks with Distributed Services.	RODIN Book	2006	DBLP DOI BibTeX RDF
10	Ashish Gehani, Surendar Chandra	PAST: Probabilistic Authentication of Sensor Timestamps.	ACSAC	2006	DBLP DOI BibTeX RDF
10	Ashish Kundu, Elisa Bertino	Secure Dissemination of XML Content Using Structure-based Routing.	EDOC	2006	DBLP DOI BibTeX RDF
10	Jordi Cabot, Ernest Teniente	Constraint Support in MDA Tools: A Survey.	ECMDA-FA	2006	DBLP DOI BibTeX RDF
10	Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Leonardo Vito	Dynamic Constraint-Based Invocation of Web Services.	WS-FM	2006	DBLP DOI BibTeX RDF
10	Youtao Zhang, Jun Yang 0002, Yongjing Lin, Lan Gao	Architectural support for protecting user privacy on trusted processors.	SIGARCH Comput. Archit. News	2005	DBLP DOI BibTeX RDF
10	N. Venkateswaran 0002, S. Balaji, V. Sridhar	Fault tolerant bus architecture for deep submicron based processors.	SIGARCH Comput. Archit. News	2005	DBLP DOI BibTeX RDF	deep submicron technology, fault tolerance, interconnect, electromigration
10	Weidong Shi, Hsien-Hsin S. Lee, Chenghuai Lu, Mrinmoy Ghosh	Towards the issues in architectural support for protection of software execution.	SIGARCH Comput. Archit. News	2005	DBLP DOI BibTeX RDF	security, encryption, attack, tamper resistance, copy protection
10	Adrian Baldwin, Simon Shiu	Enabling shared audit data.	Int. J. Inf. Sec.	2005	DBLP DOI BibTeX RDF	Notarisation, Audit, Timestamp, Secure hardware
10	Benoît Fraikin, Marc Frappier, Régine Laleau	State-based versus event-based specifications for information systems: a comparison of B and eb3.	Softw. Syst. Model.	2005	DBLP DOI BibTeX RDF	State-based paradigm, Event-based paradigm, eb3, Formal specification, Information system, Process algebra, B
10	Hung-Ming Chen, Li-Da Huang, I-Min Liu, Martin D. F. Wong	Simultaneous power supply planning and noise avoidance in floorplan design.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2005	DBLP DOI BibTeX RDF
10	Amir H. Ajami, Kaustav Banerjee, Massoud Pedram	Modeling and analysis of nonuniform substrate temperature effects on global ULSI interconnects.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2005	DBLP DOI BibTeX RDF
10	Paul C. van Oorschot, Anil Somayaji, Glenn Wurster	Hardware-Assisted Circumvention of Self-Hashing Software Tamper Resistance.	IEEE Trans. Dependable Secur. Comput.	2005	DBLP DOI BibTeX RDF	self-hashing, operating system kernels, software protection, Tamper resistance, checksumming, application security, processor design
10	Elisa Bertino, Ravi S. Sandhu	Database Security-Concepts, Approaches, and Challenges.	IEEE Trans. Dependable Secur. Comput.	2005	DBLP DOI BibTeX RDF	Data confindentiality, relational and object databases, XML, data privacy
10	Sergio Flesca, Filippo Furfaro, Sergio Greco, Ester Zumpano	Querying and Repairing Inconsistent XML Data.	WISE	2005	DBLP DOI BibTeX RDF
10	Guangyan Zhang, Jiwu Shu, Wei Xue, Weimin Zheng	MagicStore: A New Out-of-Band Virtualization System in SAN Environments.	NPC	2005	DBLP DOI BibTeX RDF
10	David Dagon, Wenke Lee, Richard J. Lipton	Protecting Secret Data from Insider Attacks.	Financial Cryptography	2005	DBLP DOI BibTeX RDF
10	Chang-Joo Moon, Woojin Paik, Young-Gab Kim, JuHum Kwon	The Conflict Detection Between Permission Assignment Constraints in Role-Based Access Control.	CISC	2005	DBLP DOI BibTeX RDF
10	Gustaf Naeser, Kristina Lundqvist	Component-Based Approach to Run-Time Kernel Specification and Verification.	ECRTS	2005	DBLP DOI BibTeX RDF
10	Zoran Majkic	Querying with Negation in Data Integration Systems.	IDEAS	2005	DBLP DOI BibTeX RDF
10	Ramon E. Moore	Order relations and rigor in computing.	SAC	2005	DBLP DOI BibTeX RDF
10	Ramon E. Moore	Order relations and rigor in computing.	SAC	2005	DBLP DOI BibTeX RDF	intervals, reliable computations
10	Mark Shaneck, Karthikeyan Mahadevan, Vishal Kher, Yongdae Kim	Remote Software-Based Attestation for Wireless Sensors.	ESAS	2005	DBLP DOI BibTeX RDF
10	Tao Zhang 0037, Xiaotong Zhuang, Santosh Pande	Building Intrusion-Tolerant Secure Software.	CGO	2005	DBLP DOI BibTeX RDF
10	Ismail Ahmad, Hong Tat Ewe	A Model for Secure Knowledge Sharing.	ICITA (2)	2005	DBLP DOI BibTeX RDF
10	Peng Li, Steve Zdancewic	Practical Information-flow Control in Web-Based Information Systems.	CSFW	2005	DBLP DOI BibTeX RDF
10	Francisco Rodríguez 0003, Juan José Serrano	Control Flow Error Checking with ISIS.	ICESS	2005	DBLP DOI BibTeX RDF
10	Alexander F. Gelbukh, Namo Kang, Sangyong Han	Combining Sources of Evidence for Recognition of Relevant Passages in Texts.	ISSADS	2005	DBLP DOI BibTeX RDF
10	V. Radha 0001, N. Hemanth Kumar	EISA - An Enterprise Application Security Solution for Databases.	ICISS	2005	DBLP DOI BibTeX RDF
10	Johan A. Pouwelse, Pawel Garbacki, Dick H. J. Epema, Henk J. Sips	The Bittorrent P2P File-Sharing System: Measurements and Analysis.	IPTPS	2005	DBLP DOI BibTeX RDF
10	Ritesh Mukherjee, J. William Atwood	Multicast Group Authentication.	Net-Con	2005	DBLP DOI BibTeX RDF
10	Anthony S. Ruocco	Experiences using SPARK in an undergraduate CS course.	SIGAda	2005	DBLP DOI BibTeX RDF	computer science education, computer science curriculum, SPARK
10	Errin W. Fulp, Stephen J. Tarsa	Trie-Based Policy Representations for Network Firewalls.	ISCC	2005	DBLP DOI BibTeX RDF
10	Gary Gostin, Jean-Francois Collard, Kirby Collins	The architecture of the HP Superdome shared-memory multiprocessor.	ICS	2005	DBLP DOI BibTeX RDF
10	N. S. Nagaraj	Dealing with interconnect process variations.	SLIP	2005	DBLP DOI BibTeX RDF
10	Ming Yao, Kun Peng, Ed Dawson	Using "Fair Forfeit" to Prevent Truncation Attacks on Mobile Agents.	ACISP	2005	DBLP DOI BibTeX RDF
10	André K. Nieuwland, Atul Katoch, Daniele Rossi 0001, Cecilia Metra	Coding Techniques for Low Switching Noise in Fault Tolerant Busses.	IOLTS	2005	DBLP DOI BibTeX RDF
10	Reagan W. Moore, Joseph F. JáJá, Robert Chadduck	Mitigating Risk of Data Loss in Preservation Environments.	MSST	2005	DBLP DOI BibTeX RDF
10	Bharat B. Madan, Shashi Phoha, Kishor S. Trivedi	StackOFFence: A Technique for Defending Against Buffer Overflow Attacks.	ITCC (1)	2005	DBLP DOI BibTeX RDF
10	Glenn Wurster, Paul C. van Oorschot, Anil Somayaji	A Generic Attack on Checksumming-Based Software Tamper Resistance.	S&P	2005	DBLP DOI BibTeX RDF
10	Elaine Shi, Adrian Perrig, Leendert van Doorn	BIND: A Fine-Grained Attestation Service for Secure Distributed Systems.	S&P	2005	DBLP DOI BibTeX RDF
10	Praveen Madiraju, Rajshekhar Sunderraman	An efficient constraint planning algorithm for multidatabases.	AICCSA	2005	DBLP DOI BibTeX RDF
10	Eun-Jun Yoon, Kee-Young Yoo	New Efficient Simple Authenticated Key Agreement Protocol.	COCOON	2005	DBLP DOI BibTeX RDF	Modification attack, Elliptic curve discrete logarithm problem, Authenticated key agreement, Password guessing attack
10	Esam Khan, M. Watheq El-Kharashi, Fayez Gebali, Mostafa I. H. Abd-El-Barr	An FPGA Design of a Unified Hash Engine for IPSec Authentication.	IWSOC	2005	DBLP DOI BibTeX RDF
10	Ning Dong 0002, Jaijeet S. Roychowdhury	Automated nonlinear Macromodelling of output buffers for high-speed digital applications.	DAC	2005	DBLP DOI BibTeX RDF	I/O buffer macromodeling, nonlinear macromodeling
10	Sabre A. Schnitzer, Robert A. Johnson, Henry Hoyt	Secured storage using secureParserTM.	StorageSS	2005	DBLP DOI BibTeX RDF	encryption, file system, parsing, fabric
10	John K. Debenham	A multiagent system manages collaboration in emergent processes.	AAMAS	2005	DBLP DOI BibTeX RDF	collaboration, negotiation, business process management
10	Mihir Bellare, Tadayoshi Kohno, Chanathip Namprempre	Breaking and provably repairing the SSH authenticated encryption scheme: A case study of the Encode-then-Encrypt-and-MAC paradigm.	ACM Trans. Inf. Syst. Secur.	2004	DBLP DOI BibTeX RDF	secure shell, stateful decryption, Authenticated encryption, security proofs
10	Hye Yeon Kim, Frederick T. Sheldon	Testing Software Requirements with Z and Statecharts Applied to an Embedded Control System.	Softw. Qual. J.	2004	DBLP DOI BibTeX RDF	requirements specification and validation, fault-tolerance, consistency, completeness, Statecharts, Z
10	Algirdas Avizienis, Jean-Claude Laprie, Brian Randell, Carl E. Landwehr	Basic Concepts and Taxonomy of Dependable and Secure Computing.	IEEE Trans. Dependable Secur. Comput.	2004	DBLP DOI BibTeX RDF	fault forecasting, security, fault tolerance, trust, Dependability, attacks, errors, failures, faults, vulnerabilities, fault removal
10	Michael Pramateftakis, Tobias Oelbaum, Klaus Diepold	Authentication of MPEG-4-based surveillance video.	ICIP	2004	DBLP DOI BibTeX RDF
10	Hao Cai, Andy J. Wellings	A Real-Time Isolate Specification for Ravenscar-Java.	ISORC	2004	DBLP DOI BibTeX RDF
10	Qi He, Tok Wang Ling	Extending and inferring functional dependencies in schema transformation.	CIKM	2004	DBLP DOI BibTeX RDF	schematic discrepancy, functional dependency, schema integration, multidatabase
10	Claudia Kretzschmar, Torsten Bitterlich, Dietmar Müller 0001	A High-Level DSM Bus Model for Accurate Exploration of Transmission Behaviour and Power Estimation of Global System Buses.	PATMOS	2004	DBLP DOI BibTeX RDF
10	Tawfiq S. M. Barhoom, Shen-sheng Zhang	Trusted Exam Marks System at IUG Using XML-Signature.	CIT	2004	DBLP DOI BibTeX RDF	XML Digital Signature, Multi-Signed Document, non-repudiation, XML security
10	Lynn Choi, Yong Shin	Enforcement of Architectural Safety Guards to Deter Malicious Code Attacks through Buffer Overflow Vulnerabilities.	ARCS	2004	DBLP DOI BibTeX RDF
10	Zhaofeng Ma, Boqin Feng	Fail-Stop Authentication Protocol for Digital Rights Management in Adaptive Information Retrieval System.	WAIM	2004	DBLP DOI BibTeX RDF
10	Roderick Chapman, Adrian Hilton 0002	Enforcing security and safety models with an information flow analysis tool.	SIGAda	2004	DBLP DOI BibTeX RDF	Bell-LaPadula, Dolev-Yao, SPARK Ada, security, Ada, safety, information flow
10	Paul Ruth, Dongyan Xu, Bharat K. Bhargava, Fred Regnier	E-notebook Middleware for Accountability and Reputation Based Trust in Distributed Data Sharing Communities.	iTrust	2004	DBLP DOI BibTeX RDF