Scientific articles
\
Prolegomena. Fundamentals of knowledge and culture. Propaedeutics
\
Computer science and technology. Computing. Data processing
\
Software
Relating Interactive System Design and Information Theory from Information Leakage Perspective
Journal: International Journal of Engineering and Manufacturing(IJEM) @ijem
Article in issue: 1 vol.7, 2017.
Free access
In contemporary interactive software system design, to maintain equilibrium between usability and security is a challenging task because strictly enforced security policies directly affect the usability of the software. As a solution to this problem, information theoretic measure of information leakage in interactive system design has been proposed in the present work. The present paper first models the software system as a coloured Petri net model and after that using information theory and Petri net algebra; it defines the leakage in the interacting system. Based on the leakage definition, the present paper further quantifies information leakage and tries to establish a relation between information leakage and interactive system design principles. The paper also hints to decide consensus on the equilibrium of security and usability.
Coloured Petri net
\ Information leakage
\ Information theory
\ Interactive system
\ Non-interference
Similar articles in the section Software
Short address: https://sciup.org/15014424
IDS: 15014424
References Relating Interactive System Design and Information Theory from Information Leakage Perspective
- Boudol, Gérard, and Ilaria Castellani. "Non-interference for concurrent programs and thread systems" Theoretical Computer Science 281.1 (2002): 109-130.
- Ryan, P., McLean, J., Millen, J., & Gligor, V. (2001, June). Non-interference: Who needs it? In csfw (p. 0237), IEEE.
- C. Shannon, "A mathematical theory of communication", The Bell System Technical Journal, volume 27, July and October, 1948, pages 379–423 and 623–656.
- T. M. Cover and J. A. Thomas, "Elements of Information Theory", 1991, Wiley Interscience.
- K. Jensen. Coloured Petri nets and the invariant method Mathematical Foundations on Computer Science, Lecture Notes in Computer Science, 118:327–338, 1981.
- Baracaldo, Nathalie, and James Joshi. "An adaptive risk management and access control framework to mitigate insider threats." Computers & Security39 (2013): 237-254.
- Shneiderman, Ben. Designing the user interface. Pearson Education India, 2003.
- Van Glabbeek, Rob, and Frits Vaandrager. "Petri net models for algebraic theories of concurrency." PARLE Parallel Architectures and Languages Europe. Springer Berlin Heidelberg, 1987.
- Jategaonkar, Lalita, and Albert Meyer. "Testing equivalence for Petri nets with action refinement: preliminary report." CONCUR'92. Springer Berlin Heidelberg, 1992.
- Boreale, Michele. "Quantifying information leakage in process calculi."Information and Computation 207.6 (2009): 699-725.
- Massey, James L. "Guessing and entropy." Information Theory, 1994. Proceedings., 1994 IEEE International Symposium on. IEEE, 1994.
- De Nicola, Rocco, and Matthew CB Hennessy. "Testing equivalences for processes." Theoretical computer science 34.1-2 (1984): 83-133.
- Mori, Giulio, Fabio Paternò, and Carmen Santoro. "CTTE: support for developing and analyzing task models for interactive system design."Software Engineering, IEEE Transactions on 28.8 (2002): 797-813.
- Palanque, Philippe, Rémi Bastide, and Valérie Sengès. "Validating interactive system design through the verification of formal task and system models." Engineering for Human-Computer Interaction. Springer US, 1996. 189-212.
- Alvim, Mário S., Miguel E. Andrés, and Catuscia Palamidessi. "Information flow in interactive systems." CONCUR 2010-Concurrency Theory. Springer Berlin Heidelberg, 2010. 102-116.
- Manhas, Jatinder. "Comparative Study of Website Sitemap Feature as Design Issue in Various Websites." IJEM-International Journal of Engineering and Manufacturing (IJEM) 4.3 (2014): 22.
- Chiasson, Sonia, et al. "User interface design affects security: Patterns in click-based graphical passwords." International Journal of Information Security 8.6 (2009): 387-398.
- Abrams, Marc, et al. "UIML: an appliance-independent XML user interface language." Computer Networks 31.11 (1999): 1695-1708.
- Zurko, Mary Ellen, and Richard T. Simon. "User-centered security."Proceedings of the 1996 workshop on New security paradigms. ACM, 1996.
- Borda, Monica (2011). Fundamentals in Information Theory and Coding, Springer. p.11. ISBN 978-3-642-20346-6.
- Goltz, Ursula, and Wolfgang Reisig. "The non-sequential behaviour of Petri nets" Information and Control 57.2 (1983): 125-147.
- Newman, William M. "A system for interactive graphical programming." Proceedings of the April 30--May 2, 1968, spring joint computer conference. ACM, 1968.
- Beringer, Nicole, et al. "Promise-a procedure for multimodal interactive system evaluation." Multimodal Resources and Multimodal Systems Evaluation Workshop Program Saturday, June 1, 2002. 2002.
- Beaver, Donald. "Foundations of secure interactive computing" Annual International Cryptology Conference. Springer Berlin Heidelberg, 1991.
- Gaines, Brian R., and Peter V. Facey. "Some experience in interactive system development and application." Proceedings of the IEEE 63.6 (1975): 894-911.
- Gould, John D., and Clayton Lewis. "Designing for usability: key principles and what designers think." Communications of the ACM 28.3 (1985): 300-311.
- Peng, Zhong-Ren, and Ruihong Huang. "Design and development of interactive trip planning for web-based transit information systems." Transportation Research Part C: Emerging Technologies 8.1 (2000).
