Search results for "security constraints"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	David M. Eyers, Sriram Srinivasan, Ken Moody, Jean Bacon	Compile-Time Enforcement of Dynamic Security Policies.	POLICY	2008	DBLP DOI BibTeX RDF	Kilim, Dynamic security constraints, compile-time security enforcement
2	Dong Huang	Semantic Descriptions ofWeb Services Security Constraints.	SOSE	2006	DBLP DOI BibTeX RDF
2	Aneta Poniszewska-Maranda	Security Constraints in Access Control of Information System Using UML Language.	WETICE	2006	DBLP DOI BibTeX RDF
2	Aneta Poniszewska-Maranda	Access Control Coherence of Information Systems Based on Security Constraints.	SAFECOMP	2006	DBLP DOI BibTeX RDF
2	Tao Xie 0004, Xiao Qin	A New Allocation Scheme for Parallel Applications with Deadline and Security Constraints on Clusters.	CLUSTER	2005	DBLP DOI BibTeX RDF
2	Joachim Biskup, Barbara Sprick	Towards Unifying Semantic Constraints and Security Constraints in Distributed Information Systems.	Semantics in Databases	2001	DBLP DOI BibTeX RDF
2	Eugenio Faldella, Marco Prandini	A Novel Approach to On-Line Status Authentication of Public-Key Certificates.	ACSAC	2000	DBLP DOI BibTeX RDF	online status authentication, sensitive data exchange, security constraints, revoked certificates, certificate status handling scheme, one-way accumulator, Owa-based Revocation Scheme, Online Certificate Status Protocol, Internet, scalability, authentication, cryptography, protocols, data integrity, data integrity, computer networks, public key cryptography, public key infrastructure, message authentication, telecommunication security, certification authority, public-key certificates, computational load, public networks
2	Patrick C. K. Hung, Kamalakar Karlapalem	A Paradigm for Security Enforcement in CapBasED-AMS. (PDF / PS)	CoopIS	1997	DBLP DOI BibTeX RDF	security enforcement paradigm, CapBasED-AMS, capability-based event-driven activity management system, activity execution, problem-solving agent, multiple interdependent tasks, task execution, unauthorized modification, pilferage, illegal privacy violation, specification-time data, compile-time data, run-time data, system infrastructure, secure match-making, security constraints, task coordination model, security resource control, role-based resource security model, security policies, task scheduling, security of data, security threats, unauthorized access
1	Hongbo Liu, Ajith Abraham, Václav Snásel, Seán F. McLoone	Swarm scheduling approaches for work-flow applications with security constraints in distributed data-intensive computing environments.	Inf. Sci.	2012	DBLP DOI BibTeX RDF
1	Zohaib Hassan Awan, Abdellatif Zaidi, Luc Vandendorpe	Multiaccess Channel with Partially Cooperating Encoders and Security Constraints	CoRR	2012	DBLP BibTeX RDF
1	Ke Jiang, Petru Eles, Zebo Peng	Co-design techniques for distributed real-time embedded systems with communication security constraints.	DATE	2012	DBLP BibTeX RDF
1	Yuqing Sun, Qihua Wang, Ninghui Li, Elisa Bertino, Mikhail J. Atallah	On the Complexity of Authorization in RBAC under Qualification and Security Constraints.	IEEE Trans. Dependable Sec. Comput.	2011	DBLP DOI BibTeX RDF
1	Yanping Xiang, Gregory Levitin	Service task partition and distribution in star topology computer grid subject to data security constraints.	Rel. Eng. & Sys. Safety	2011	DBLP DOI BibTeX RDF
1	Sarsij Tripathi, Rama Shankar Yadav, Ranvijay, Rajib L. Jana	Resource Management in Real Time Distributed System with Security Constraints: A Review.	IJDST	2011	DBLP DOI BibTeX RDF
1	Jutta A. Mülle, Silvia von Stackelberg, Klemens Böhm	Modelling and transforming security constraints in privacy-aware business processes.	SOCA	2011	DBLP DOI BibTeX RDF
1	Tigran Avanesov, Yannick Chevalier, Mohammed Anis Mekki, Michaël Rusinowitch, Mathieu Turuani	Distributed Orchestration of Web Services under Security Constraints.	DPM/SETOP	2011	DBLP DOI BibTeX RDF
1	Ashu Verma, P. R. Bijwe, Bijaya K. Panigrahi	A combination of heuristic and bacteria foraging-differential evolution algorithm for transmission network expansion planning with security constraints.	Int. J. Hybrid Intell. Syst.	2010	DBLP DOI BibTeX RDF
1	Yannick Chevalier, Mohammed Anis Mekki, Michaël Rusinowitch	Orchestration under Security Constraints.	FMCO	2010	DBLP DOI BibTeX RDF
1	Stendley Busan, Muhammad Murtadha Othman, Ismail Musirin, Azah Mohamed, Aini Hussain	Dynamic and Steady State Security Constraints in the Transfer Capability Assessment.	COMPENG	2010	DBLP DOI BibTeX RDF	Available transfer capability, Ralston's method, cubic-spline interpolation technique, recursive AC power flow
1	Mark C. Reynolds	Lightweight Modeling of Java Virtual Machine Security Constraints.	ASM	2010	DBLP DOI BibTeX RDF
1	Mathias Payer	Usage scenarios for fast dynamic binary translators.	SYSTOR	2010	DBLP DOI BibTeX RDF
1	Amy K. Karlson, A. J. Bernheim Brush, Stuart E. Schechter	Can I borrow your phone?: understanding concerns when sharing mobile phones.	CHI	2009	DBLP DOI BibTeX RDF	mobile phone sharing, phone privacy, phone security
1	Fergle D'Aubeterre, Lakshmi S. Iyer, Rahul Singh	An empirical evaluation of information security awareness levels in designing secure business processes.	DESRIST	2009	DBLP DOI BibTeX RDF	secure business process, secure process design, situational awareness, design science, security awareness, information systems security
1	Steven P. Reiss	Semantics-based code search.	ICSE	2009	DBLP DOI BibTeX RDF
1	Steven P. Reiss	Semantics-based code search demonstration proposal.	ICSM	2009	DBLP DOI BibTeX RDF
1	Carlos Blanco, Ignacio García Rodríguez de Guzmán, Eduardo Fernández-Medina, Juan Trujillo, Mario Piattini	Applying an MDA-Based Approach to Consider Security Rules in the Development of Secure DWs.	ARES	2009	DBLP DOI BibTeX RDF
1	Alexandros Marinos, Gerard Briscoe	Community Cloud Computing.	CloudCom	2009	DBLP DOI BibTeX RDF	Community Cloud, Community Cloud Computing, Cloud Computing, Sustainability, Green Computing
1	Carlos Blanco, Ricardo Pérez-Castillo, Arnulfo Hernández, Eduardo Fernández-Medina, Juan Trujillo	Towards a Modernization Process for Secure Data Warehouses.	DaWaK	2009	DBLP DOI BibTeX RDF
1	Padmalochan Bera, Soumya Kanti Ghosh, Pallab Dasgupta	Formal Verification of Security Policy Implementations in Enterprise Networks.	ICISS	2009	DBLP DOI BibTeX RDF	Access control list (ACL), Formal Verification, Network security, Security Policy
1	Heiko Roßnagel, Jan Muntermann	Introducing Sim-Based Security Tokens as Enabling Technology for Mobile Real-Time Services.	NordSec	2009	DBLP DOI BibTeX RDF	Mobile Real-time Service, SIM-based Security Tokens, Security Requirements
1	Dimitrios Halkos, Nikolaos D. Doulamis, Anastasios D. Doulamis	A secure framework exploiting content guided and automated algorithms for real time video searching.	Multimedia Tools Appl.	2009	DBLP DOI BibTeX RDF	Real time video searching, Content guided research, Security
1	Hind Rakkay, Hanifa Boucheneb	Security Analysis of Role Based Access Control Models Using Colored Petri Nets and CPNtools.	Transactions on Computational Science	2009	DBLP DOI BibTeX RDF	CPNtools, security formal verification, RBAC, Colored Petri nets
1	Romain Robert, Mark Manulis, Florence De Villenfagne, Damien Leroy, Julien Jost, François Koeune, Caroline Ker, Jean-Marc Dinant, Yves Poullet, Olivier Bonaventure, Jean-Jacques Quisquater	WiFi Roaming: Legal Implications and Security Constraints.	I. J. Law and Information Technology	2008	DBLP DOI BibTeX RDF
1	Deniz Gündüz, Elza Erkip, H. Vincent Poor	Lossless Compression with Security Constraints	CoRR	2008	DBLP BibTeX RDF
1	Deniz Gündüz, Elza Erkip, H. Vincent Poor	Lossless compression with security constraints.	ISIT	2008	DBLP DOI BibTeX RDF
1	Emrah Akin Sisbot, Aurélie Clodic, Rachid Alami, Maxime Ransan	Supervision and motion planning for a mobile manipulator interacting with humans.	HRI	2008	DBLP DOI BibTeX RDF	hri, motion planning, supervision, robot architecture
1	Martin Karusseit, Tiziana Margaria, Holger Willebrandt	Policy expression and checking in XACML, WS-Policies, and the jABC.	TAV-WEB	2008	DBLP DOI BibTeX RDF	model checking, access control, validation, policies
1	Ravi Chandra Jammalamadaka, Roberto Gamboni, Sharad Mehrotra, Kent E. Seamons, Nalini Venkatasubramanian	iDataGuard: an interoperable security middleware for untrusted internet data storage.	Middleware (Companion)	2008	DBLP DOI BibTeX RDF	interoperability, key management, data security, data representation
1	Stefan Rass, Simone Fuchs, Martin Schaffer, Kyandoghere Kyamakya	How to protect privacy in floating car data systems.	Vehicular Ad Hoc Networks	2008	DBLP DOI BibTeX RDF	privacy, anonymization, pseudonyms, discrete logarithm problem
1	Ninghui Li, Qihua Wang	Beyond separation of duty: An algebra for specifying high-level security policies.	J. ACM	2008	DBLP DOI BibTeX RDF	Access control, separation of duty, policy design
1	Melda Yuksel, Elza Erkip	Diversity-multiplexing tradeoff for the multiple-antenna wire-tap channel.	CISS	2008	DBLP DOI BibTeX RDF
1	Petr Matousek, Jaroslav Ráb, Ondrej Rysavy, Miroslav Svéda	A Formal Model for Network-Wide Security Analysis.	ECBS	2008	DBLP DOI BibTeX RDF	netowrk design, dynamic routing protocols, formal verification, network security, packet filters
1	Debmalya Biswas, Thomas Gazagnaire, Blaise Genest	Small Logs for Transactional Services: Distinction is Much More Accurate than (Positive) Discrimination.	HASE	2008	DBLP DOI BibTeX RDF
1	Rimma V. Nehme, Elke A. Rundensteiner, Elisa Bertino	A Security Punctuation Framework for Enforcing Access Control on Streaming Data.	ICDE	2008	DBLP DOI BibTeX RDF
1	Ryma Abassi, Sihem Guemara El Fatmi	A Model for Specification and Validation of Security Policies in Communication Networks: The Firewall Case.	ARES	2008	DBLP DOI BibTeX RDF
1	Mathias Kohler, Andreas Schaad	Avoiding Policy-based Deadlocks in Business Processes.	ARES	2008	DBLP DOI BibTeX RDF	Security, Access Control, Business Process, Deadlock Avoidance
1	Stéphanie Chollet, Philippe Lalanda	Security Specification at Process Level.	IEEE SCC	2008	DBLP DOI BibTeX RDF	Security, service composition, process
1	Jorge Sales, Reinel Beltran, Pedro J. Sanz, Raúl Marín, Raul Wirz, German Leon, José M. Claver, Jaime Alemany	The UJI industrial robotics telelaboratory: Real-time vision and networking.	IROS	2008	DBLP DOI BibTeX RDF
1	Stanley Y. W. Su, Howard W. Beck, Seema Degwekar, Jeff DePree, Xuelian Xiao, Chen Zhou, Minsoo Lee	Distributed processing of event data and multi-faceted knowledge in a collaboration federation.	ISI	2008	DBLP DOI BibTeX RDF
1	Dazhi Zhang, Wenhua Wang, Donggang Liu, Yu Lei, David Chenho Kung	Reusing Existing Test Cases for Security Testing.	ISSRE	2008	DBLP DOI BibTeX RDF
1	Onur Ozan Koyluoglu, Hesham El Gamal	On the secrecy rate region for the interference channel.	PIMRC	2008	DBLP DOI BibTeX RDF
1	Tao Xie 0004, Xiao Qin	Security-Aware Resource Allocation for Real-Time Parallel Jobs on Homogeneous and Heterogeneous Clusters.	IEEE Trans. Parallel Distrib. Syst.	2008	DBLP DOI BibTeX RDF	Scheduling and task partitioning, Real-time distributed
1	Jieping Wang, Xiaoyong Du	A Secure Multi-dimensional Partition Based Index in DAS.	APWeb	2008	DBLP DOI BibTeX RDF	Multi-dimensional partition, DAS, Database security
1	Sébastien Varrette, Jean-Louis Roch, Guillaume Duc, Ronan Keryell	Building Secure Resources to Ensure Safe Computations in Distributed and Potentially Corrupted Environments.	Euro-Par Workshops	2008	DBLP DOI BibTeX RDF
1	Flemming Nielson, Hanne Riis Nielson	Heuristics for Safety and Security Constraints.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Seema Degwekar, Jeff DePree, Howard W. Beck, Carla S. Thomas, Stanley Y. W. Su	Event-triggered data and knowledge sharing among collaborating government organizations.	DG.O	2007	DBLP DOI BibTeX RDF	collaborative federation, event- and rule-based systems, knowledge representation and sharing, web services, decision support
1	Seema Degwekar, Jeff DePree, Stanley Y. W. Su, Howard W. Beck	A distributed event-triggered knowledge sharing system.	DG.O	2007	DBLP DOI BibTeX RDF	collaborative federation, event-and-rule based systems, web services, knowledge representation, decision support, knowledge sharing
1	Tao Xie 0004, Xiao Qin	Improving security for periodic tasks in embedded systems through scheduling.	ACM Trans. Embedded Comput. Syst.	2007	DBLP DOI BibTeX RDF	security-sensitive applications, scheduling, Real-time systems, embedded systems, periodic tasks
1	Xiao Qin	Security-aware resource management for real-time applications on clusters.	CLUSTER	2007	DBLP DOI BibTeX RDF
1	Liang Xiao 0002, Andrew Peet, Paul H. Lewis, Srinandan Dashmapatra, Carlos Sáez, Madalina Croitoru, Javier Vicente, Horacio González-Vélez, Magí Lluch i Ariet	An Adaptive Security Model for Multi-agent Systems and Application to a Clinical Trials Environment.	COMPSAC	2007	DBLP DOI BibTeX RDF
1	Barbara Carminati, Elena Ferrari, Ryan Bishop, Patrick C. K. Hung	Security Conscious Web Service Composition with Semantic Web Support.	ICDE Workshops	2007	DBLP DOI BibTeX RDF
1	Mohamed A. Haleem, Chetan Nanjunda Mathur, Rajarathnam Chandramouli, K. P. Subbalakshmi	Opportunistic Encryption: A Trade-Off between Security and Throughput in Wireless Networks.	IEEE Trans. Dependable Sec. Comput.	2007	DBLP DOI BibTeX RDF	Cost/performance, Security, Simulation, Optimization, Algorithms, Dynamic programming, Wireless communication, Emerging technologies, Wireless systems, Data encryption, Data Encryption, Security and Privacy Protection, integrity and protection
1	Yuqing Sun, Peng Pan, Ho-fung Leung, Bin Shi	Ontology Based Hybrid Access Control for Automatic Interoperation.	ATC	2007	DBLP DOI BibTeX RDF
1	Eduardo B. Fernández	Security Patterns and Secure Systems Design.	LADC	2007	DBLP DOI BibTeX RDF
1	Tao Xie 0004, Xiao Qin	Security-driven scheduling for data-intensive applications on grids.	Cluster Computing	2007	DBLP DOI BibTeX RDF	Security-sensitive application, Degree of security deficiency, Scheduling, Data grid
1	Patrice Rondao-Alface, Benoît Macq	From 3D Mesh Data Hiding to 3D Shape Blind and Robust Watermarking: A Survey.	T. Data Hiding and Multimedia Security	2007	DBLP DOI BibTeX RDF
1	Tao Xie 0004, Xiao Qin, Andrew H. Sung, Man Lin, Laurence Tianruo Yang	Real-time scheduling with quality of security constraints.	IJHPCN	2006	DBLP DOI BibTeX RDF
1	Basit Shafiq, Arjmand Samuel, Elisa Bertino, Arif Ghafoor	Technique for Optimal Adaptation of Time-Dependent Workflows with Security Constraints.	ICDE	2006	DBLP DOI BibTeX RDF
1	Songtao Zhang, Thomas R. Dean, Scott Knight	A lightweight approach to state based security testing.	CASCON	2006	DBLP DOI BibTeX RDF
1	Tao Xie 0004, Xiao Qin	SAHA: A Scheduling Algorithm for Security-Sensitive Jobs on Data Grids.	CCGRID	2006	DBLP DOI BibTeX RDF
1	Dong Huang, Yi Yang, Jacques Calmet	A Knowledge-based Security Policy Framework for Business Process Management.	CIMCA/IAWTIC	2006	DBLP DOI BibTeX RDF
1	Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari	Types and Effects for Secure Service Orchestration.	CSFW	2006	DBLP DOI BibTeX RDF
1	Sriram Mohan, Jonathan Klinginsmith, Arijit Sengupta, Yuqing Wu	ACXESS - Access Control for XML with Enhanced Security Specifications.	ICDE	2006	DBLP DOI BibTeX RDF
1	Barbara Carminati, Elena Ferrari, Patrick C. K. Hung	Security Conscious Web Service Composition.	ICWS	2006	DBLP DOI BibTeX RDF
1	Arnaud Simon, Thomas Rischbeck	Service Contract Template.	IEEE SCC	2006	DBLP DOI BibTeX RDF
1	Tao Xie 0004, Xiao Qin, Mais Nijim	SHARP: a new real-time scheduling algorithm to improve security of parallel applications on heterogeneous clusters.	IPCCC	2006	DBLP DOI BibTeX RDF
1	Marc Lelarge, Zhen Liu, Anton Riabov	Automatic Composition of Secure Workflows.	ATC	2006	DBLP DOI BibTeX RDF
1	Yuqing Sun, Peng Pan, Xiangxu Meng	An Approach for Trusted Interoperation in a Multidomain Environment.	ATC	2006	DBLP DOI BibTeX RDF
1	Zhao Xiangpeng, Antonio Cerone, Padmanabhan Krishnan	Verifying BPEL Workflows Under Authorisation Constraints.	Business Process Management	2006	DBLP DOI BibTeX RDF	model-checking, Workflow, RBAC, BPEL
1	Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari	Security Issues in Service Composition.	FMOODS	2006	DBLP DOI BibTeX RDF
1	Romuald Thion, Stéphane Coulondre	Representation and Reasoning on Role-Based Access Control Policies with Conceptual Graphs.	ICCS	2006	DBLP DOI BibTeX RDF
1	Juliana M. T. Alves, Carmen L. T. Borges, Ayru L. Oliveira Filho	Distributed Security Constrained Optimal Power Flow Integrated to a DSM Based Energy Management System for Real Time Power Systems Security Control.	VECPAR	2006	DBLP DOI BibTeX RDF
1	Khaled E. A. Negm	Design, Implementation and Testing of Mobile Agent Protection Mechanism for Manets.	WEBIST (Selected Papers)	2006	DBLP DOI BibTeX RDF	Secure Mobile Transactions, Mobile Agent Protection, Business to Business Secure Transaction
1	Yuefei Xu, Ronggong Song, Larry Korba, Lihui Wang, Weiming Shen, Sherman Y. T. Lang	Distributed device networks with security constraints.	IEEE Trans. Industrial Informatics	2005	DBLP DOI BibTeX RDF
1	Laurent Sourgen	Security Constraints in Integrated Circuits.	IOLTS	2005	DBLP DOI BibTeX RDF
1	Ronggong Song, Larry Korba, George Yee	AnonDSR: efficient anonymous dynamic source routing for mobile ad-hoc networks.	SASN	2005	DBLP DOI BibTeX RDF	security, mobile ad hoc network, anonymity, dynamic source routing
1	K. E. A. Negm	Design, implementation and testing of mobile agent protection mechanism for MANETS.	AICCSA	2005	DBLP DOI BibTeX RDF
1	Gansen Zhao, David W. Chadwick	Trust Infrastructure for Policy based Messaging In Open Environments.	WETICE	2005	DBLP DOI BibTeX RDF
1	Suat Ugurlu, Nadia Erdogan	SECMAP: A Secure Mobile Agent Platform.	CEEMAS	2005	DBLP DOI BibTeX RDF
1	J. Charles Francis, Johannes Schneider	Towards Mobile Broadband.	ICN	2005	DBLP DOI BibTeX RDF
1	Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari	Checking Risky Events Is Enough for Local Policies.	ICTCS	2005	DBLP DOI BibTeX RDF
1	Chinyang Henry Tseng, Tao Song, Poornima Balasubramanyam, Calvin Ko, Karl N. Levitt	A Specification-Based Intrusion Detection Model for OLSR.	RAID	2005	DBLP DOI BibTeX RDF	Specification based IDS, MANET, Mobile ad hoc network, Intrusion Detection, Network Security, Constraints, OLSR
1	Kees Leune, Mike P. Papazoglou, Willem-Jan van den Heuvel	Specification and querying of security constraints in the EFSOC framework.	ICSOC	2004	DBLP DOI BibTeX RDF	EDL, EFSOC, role-based access control, service-oriented computing
1	Wenfei Fan, Chee Yong Chan, Minos N. Garofalakis	Secure XML Querying with Security Views. (PDF / PS)	SIGMOD Conference	2004	DBLP DOI BibTeX RDF
1	Moses Garuba, Ronald Langrin, Legand L. Burge III	A Constraint-Based Query Modification Engine for Retrofitting COTS DBMS's.	ITCC	2004	DBLP DOI BibTeX RDF
1	Franco Arcieri, Fabio Fioravanti, Enrico Nardelli, Maurizio Talamo	A Specification for Security Services on Computational Grids.	GSEM	2004	DBLP DOI BibTeX RDF
1	Barbara Sprick	Towards unifying semantic constraints and security constraints in distributed information systems.		2003	RDF
1	Colin D. Walter	Security Constraints on the Oswald-Aigner Exponentiation Algorithm.	IACR Cryptology ePrint Archive	2003	DBLP BibTeX RDF
1	Vijayalakshmi Atluri, Nabil R. Adam, Ahmed Gomaa, Igg Adiwijaya	Self-Manifestation of Composite Multimedia Objects to Satisfy Security Constraints.	SAC	2003	DBLP BibTeX RDF
1	Tanvir Ahmed, Anand R. Tripathi	Static verification of security requirements in role based CSCW systems.	SACMAT	2003	DBLP DOI BibTeX RDF	finite-state based model checking, methodology for access control policy design, role based access control, security policy specification