<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE ArticleSet PUBLIC "-//NLM//DTD PubMed 2.7//EN" "https://dtd.nlm.nih.gov/ncbi/pubmed/in/PubMed.dtd">
<ArticleSet>
<Article>
<Journal>
				<PublisherName>Iranian Society of Cryptology</PublisherName>
				<JournalTitle>The ISC International Journal of Information Security</JournalTitle>
				<Issn>2008-2045</Issn>
				<Volume>18</Volume>
				<Issue>2</Issue>
				<PubDate PubStatus="epublish">
					<Year>2026</Year>
					<Month>07</Month>
					<Day>01</Day>
				</PubDate>
			</Journal>
<ArticleTitle>SmartUcon: A Model-Driven Framework for Secure and Privacy-Aware Usage Control in Smart Environments</ArticleTitle>
<VernacularTitle></VernacularTitle>
			<FirstPage>15</FirstPage>
			<LastPage>33</LastPage>
			<ELocationID EIdType="pii">247466</ELocationID>
			
<ELocationID EIdType="doi">10.22042/isecure.2026.554737.1262</ELocationID>
			
			<Language>EN</Language>
<AuthorList>
<Author>
					<FirstName>Mohammad</FirstName>
					<LastName>Asmand Joneghani</LastName>
<Affiliation>Department of Computer Engineering, Faculty of Technology and Engineering, Shahrekord University, Shahrekord, Iran</Affiliation>

</Author>
<Author>
					<FirstName>Leila</FirstName>
					<LastName>Samimi-Dehkordi</LastName>
<Affiliation>Department of Computer Engineering, Faculty of Technology and Engineering, Shahrekord University, Shahrekord, Iran</Affiliation>

</Author>
</AuthorList>
				<PublicationType>Journal Article</PublicationType>
			<History>
				<PubDate PubStatus="received">
					<Year>2025</Year>
					<Month>11</Month>
					<Day>16</Day>
				</PubDate>
			</History>
		<Abstract>Ensuring secure and continuous access in smart environments requires dynamic and context-aware policy enforcement, which traditional access control models cannot adequately support. This paper presents SmartUcon, a model-driven domain-specific modeling language (DSML) based on the UCON+ model, designed for specifying and managing usage control policies in IoT-enabled and cyber-physical systems. SmartUcon provides a Sirius-based graphical editor for intuitive policy modeling, along with an EGL-based code generator that automatically transforms high-level models into executable Axiomatics Language for Authorization (ALFA) policies. The semantics of the DSML are defined translationally via explicit mapping rules to ALFA, ensuring semantic preservation. The framework further incorporates design-time conflict detection and model-time validation using the Epsilon Validation Language (EVL) to reduce policy misconfigurations. To evaluate its applicability, 14 case studies were developed across five domains—smart vehicles, smart homes, smart cities, healthcare, and industrial systems—while a user study with 32 participants and statistical significance tests confirm the usability advantages of graphical modeling. A structural comparison with related metamodels confirms its superior coverage of obligations, advice, and device interactions. Overall, SmartUcon offers a practical and extensible model-driven solution for secure and trustworthy policy enforcement in smart environments.</Abstract>
		<ObjectList>
			<Object Type="keyword">
			<Param Name="value">Domain-Specific Modeling Language</Param>
			</Object>
			<Object Type="keyword">
			<Param Name="value">IoT Security</Param>
			</Object>
			<Object Type="keyword">
			<Param Name="value">Model-driven engineering</Param>
			</Object>
			<Object Type="keyword">
			<Param Name="value">Smart Environments</Param>
			</Object>
			<Object Type="keyword">
			<Param Name="value">Usage Control</Param>
			</Object>
		</ObjectList>
<ArchiveCopySource DocType="pdf">https://www.isecure-journal.com/article_247466_a1d2d8a514c57cac7def0236c83a341a.pdf</ArchiveCopySource>
</Article>
</ArticleSet>
